Skip to content

CI: install python-flint so the Arb certificate step actually runs; fail in CI if a verify step skips - #12

Merged
tbitcs merged 4 commits into
mainfrom
fix/ci-python-flint-arb-step
Oct 20, 2026
Merged

CI: install python-flint so the Arb certificate step actually runs; fail in CI if a verify step skips#12
tbitcs merged 4 commits into
mainfrom
fix/ci-python-flint-arb-step

Restore trailing newline in verify.py

d7cc7bb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar