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.

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

Use setup-ocaml github action #1341

Merged
merged 50 commits into from
Aug 17, 2024
Merged

Use setup-ocaml github action #1341

merged 50 commits into from
Aug 17, 2024

Conversation

7h3kk1d
Copy link
Contributor

@7h3kk1d 7h3kk1d commented Jul 25, 2024

Switches to https://github.com/ocaml/setup-ocaml for the ocaml installation step. Adds a hazel.opam.locked file to keep track of exact dependency versions that we depend on. Also adds a dune-project file to manage project dependencies and it generates the hazel.opam file on dune build. So we can keep track of intentional vs unintentional dependency locking which should be useful for upgrading. Also intentionally caching the opam switch separately from the ocaml compiler itself which seems more deterministic as far as caches go.

The last cached build took about 3m https://github.com/hazelgrove/hazel/actions/runs/10115441982/job/27976209701

dune-project Show resolved Hide resolved
@7h3kk1d 7h3kk1d requested a review from cyrus- July 30, 2024 18:44
@7h3kk1d 7h3kk1d marked this pull request as ready for review July 30, 2024 18:44
hazel.opam.locked Outdated Show resolved Hide resolved
@cyrus- cyrus- marked this pull request as draft August 8, 2024 23:52
@7h3kk1d 7h3kk1d mentioned this pull request Aug 16, 2024
3 tasks
Makefile Show resolved Hide resolved
@cyrus-
Copy link
Member

cyrus- commented Aug 17, 2024

Merge conflict

@cyrus- cyrus- merged commit feb2c5f into dev Aug 17, 2024
2 checks passed
@cyrus- cyrus- deleted the setup-ocaml-action branch August 17, 2024 14:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants