Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Stray ocaml reference in saw-script's CI #2057

Open
sauclovian-g opened this issue May 16, 2024 · 0 comments
Open

Stray ocaml reference in saw-script's CI #2057

sauclovian-g opened this issue May 16, 2024 · 0 comments
Labels
tooling: CI Issues involving CI/CD scripts or processes

Comments

@sauclovian-g
Copy link
Collaborator

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)
@sauclovian-g sauclovian-g added the tooling: CI Issues involving CI/CD scripts or processes label May 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
tooling: CI Issues involving CI/CD scripts or processes
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@sauclovian-g