-
Notifications
You must be signed in to change notification settings - Fork 432
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.
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
Try fixing github build: install only opam with apt #893
Conversation
This pull request was exported from Phabricator. Differential Revision: D59591828 |
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
419e7c2
to
815e010
Compare
This pull request was exported from Phabricator. Differential Revision: D59591828 |
1 similar comment
This pull request was exported from Phabricator. Differential Revision: D59591828 |
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
815e010
to
eba4156
Compare
This pull request was exported from Phabricator. Differential Revision: D59591828 |
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
eba4156
to
fb3fe6b
Compare
This pull request was exported from Phabricator. Differential Revision: D59591828 |
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
fb3fe6b
to
c312f7b
Compare
This pull request was exported from Phabricator. Differential Revision: D59591828 |
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
c312f7b
to
4653c3b
Compare
This pull request was exported from Phabricator. Differential Revision: D59591828 |
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
4653c3b
to
5976e46
Compare
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
This pull request was exported from Phabricator. Differential Revision: D59591828 |
5976e46
to
e5dfc0b
Compare
I'm going to leave this up for now... the latest results seem to show that See these logs: It's pretty easy to see the path logged out from I'm pretty stumped about why; I know for sure that environment variables set at the top level do make it. |
Summary:
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
froman apt download rather than our opam switch; trying to see what happens if
we only apt install opam.
Differential Revision: D59591828