Skip to content

CI: try out OPAM caching#60

Merged
omelkonian merged 1 commit intomasterfrom
orestis/ci-opam-cache
Feb 26, 2026
Merged

CI: try out OPAM caching#60
omelkonian merged 1 commit intomasterfrom
orestis/ci-opam-cache

Conversation

@omelkonian
Copy link
Copy Markdown
Collaborator

No description provided.

@omelkonian omelkonian added the CI label Feb 26, 2026
@flupe
Copy link
Copy Markdown
Collaborator

flupe commented Feb 26, 2026

Nice, thanks! Does it work? I'd love for the CI to not spend an hour compiling Peregrine on every commit...

@omelkonian
Copy link
Copy Markdown
Collaborator Author

Not sure if it works yet, but the peregrine-tools repo seems to have <10min CI run times, and I copied the commands from their workflow, so I'm optimistic.

@omelkonian omelkonian merged commit 3147e30 into master Feb 26, 2026
1 check passed
@omelkonian omelkonian deleted the orestis/ci-opam-cache branch February 26, 2026 13:39
@4ever2
Copy link
Copy Markdown
Contributor

4ever2 commented Mar 1, 2026

It works most of the time, though there are some edgecases where the cache doesn't rebuild correctly. It doesn't work well when pinned packages change, so you will have to manually delete the cache to force a full rebuild when that happens.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants