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

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

mainBitConcepts/riemann-solver:mainfrom

fix/ci-python-flint-arb-stepBitConcepts/riemann-solver:fix/ci-python-flint-arb-stepCopy head branch name to clipboard