Closed sauclovian-g closed 6 days ago
The file .github/workflows/ci.yml contains this:
OCAML_VERSION: 4.09.x
It also contains this, which is contradictory:
- uses: ocaml/setup-ocaml@v2 with: ocaml-compiler: 4.14.x
Most likely the 4.09.x declaration is not being used and should be removed. If that doesn't work it should be also changed to 4.14.x as 4.09 is extremely old these days.
(It appears ocaml is in here to allow doing opam install coq)
The file .github/workflows/ci.yml contains this:
It also contains this, which is contradictory:
Most likely the 4.09.x declaration is not being used and should be removed. If that doesn't work it should be also changed to 4.14.x as 4.09 is extremely old these days.
(It appears ocaml is in here to allow doing opam install coq)