Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[hack] install recent dune
Browse files Browse the repository at this point in the history
gares committed Dec 19, 2024
1 parent 3e5ba47 commit 1d79af4
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -153,7 +153,8 @@ jobs:
OPAMYES: true
run: |
opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
opam install ./language-server/vscoq-language-server.opam --deps-only --with-doc --with-test
opam install dune
opam install ./language-server/vscoq-language-server.opam --deps-only --with-doc --with-test --ignore-constraints-on dune
- name: Build vscoq-language-server
run: |

0 comments on commit 1d79af4

Please sign in to comment.