| ▲ | almostgotcaught 8 hours ago | |
No clue - I added that CI job around 6 months ago. | ||
| ▲ | simonw 8 hours ago | parent [-] | |
I tracked it down to this PR from September 2022, so it's been around for a while: https://github.com/pyodide/pyodide/pull/2976 | ||
| ▲ | almostgotcaught 8 hours ago | |
No clue - I added that CI job around 6 months ago. | ||
| ▲ | simonw 8 hours ago | parent [-] | |
I tracked it down to this PR from September 2022, so it's been around for a while: https://github.com/pyodide/pyodide/pull/2976 | ||