Run pyodide CI jobs repeatedly - #404

Closed

oscarbenjamin wants to merge 5 commits into

flintlib:mainfrom

oscarbenjamin:pr_tmp_pyodide_test

Commits on Jun 16, 2026

Run pyodide CI jobs repeatedly
oscarbenjamin
committed
43a81b6
trigger another build
oscarbenjamin
committed
1b71f4d
trigger another build
oscarbenjamin
committed
264d80e
And again...
oscarbenjamin
committed
28bb8f3
Once more
oscarbenjamin
committed
c41b459