Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
We use the new flag `allow-prelease-opam` of the GitHub action `setup-ocaml` to use the prelease version `2.2` of opam.
- Loading branch information