num icon indicating copy to clipboard operation
num copied to clipboard

Switch back to released opam versions in CI

Open dra27 opened this issue 2 years ago • 0 comments

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.

dra27 avatar Nov 09 '23 09:11 dra27