Stray ocaml reference in saw-script's CI
sauclovian-g opened this issue · comments
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)