-
Notifications
You must be signed in to change notification settings - Fork 437
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Try fixing github build: install only opam with apt (#893)
Summary: Pull Request resolved: #893 The build in github is currently broken due to a dune version mismatch. I think the problem is that our workflow is incorrectly getting `dune` from an apt download rather than our opam switch; trying to see what happens if we only apt install opam. Differential Revision: D59591828
- Loading branch information
1 parent
587e254
commit 5976e46
Showing
3 changed files
with
33 additions
and
24 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters