num
num copied to clipboard
Switch back to released opam versions in CI
Follow-up to #36
When opam 2.2 has been released, the failing GitHub Actions workflow in this PR can be re-run - it should then pass, and this PR can be merged.