Skip to content

Commit

Permalink
There is already a switch
Browse files Browse the repository at this point in the history
  • Loading branch information
bclement-ocp committed Mar 21, 2024
1 parent 14f35ae commit 40bba3f
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions .github/workflows/build_static.yml
Original file line number Diff line number Diff line change
Expand Up @@ -35,8 +35,6 @@ jobs:
ocaml-compiler: 4.14.1
dune-cache: true

- run: opam switch create . ocaml-system --locked --deps-only --ignore-constraints-on alt-ergo-lib,alt-ergo-parsers

- run: opam exec -- dune subst

- run: opam exec -- dune build --release @install --promote-install-files false
Expand Down

0 comments on commit 40bba3f

Please sign in to comment.