3 ms·
No clue - I added that CI job around 6 months ago.
by almostgotcaught 1y ago
No clue - I added that CI job around 6 months ago.
- simonw 1y agoI tracked it down to this PR from September 2022, so it's been around for a while: https://github.com/pyodide/pyodide/pull/2976 https://github.com/pyodide/pyodide/pull/2976