Skip to content

Key the opam cache on the opam that reads it #32

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.

Sign up for GitHub

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

Merged
jserv merged 2 commits into from
Sep 18, 2026
Merged

Key the opam cache on the opam that reads it #32

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
2171e9b
Key the opam cache on the opam that reads it
alanhc Sep 18, 2026
9ad7245
Fail the opam version step when opam cannot answer
alanhc Sep 18, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 17 additions & 2 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -193,6 +193,14 @@ jobs:
- name: Validate Frama-C matrix version
run: .ci/check-frama-c-matrix-version.sh '${{ matrix.frama-c-version }}'

# opam rewrites an older root's layout on first use, then exits 10 and
# asks for a retry. setup-ocaml takes the latest opam, so key on it.
- name: Record opam version
id: opam-version
run: |
version=$(opam --version)
echo "version=$version" >> "$GITHUB_OUTPUT"

# Cache the whole opam state keyed by frama-c + compiler + OS: frama-c is
# not declared as a project dependency, so without this the ~10 min install
# repeats every run. setup-ocaml uses a project-local switch in ./_opam
Expand All @@ -205,7 +213,7 @@ jobs:
path: |
~/.opam
_opam
key: ${{ runner.os }}-opam-ocaml-4.14.2-frama-c-${{ matrix.frama-c-version }}-alt-ergo-2.6.3-v2
key: ${{ runner.os }}-opam-${{ steps.opam-version.outputs.version }}-ocaml-4.14.2-frama-c-${{ matrix.frama-c-version }}-alt-ergo-2.6.3-v2

# alt-ergo is named explicitly because it is an OPTIONAL dependency of
# frama-c, not a hard one. This step used to say "alt-ergo + why3 pulled
Expand Down Expand Up @@ -352,14 +360,21 @@ jobs:
with:
ocaml-compiler: "4.14.2"

# Same reason as the full lane: key the restored root on its opam.
- name: Record opam version
id: opam-version
run: |
version=$(opam --version)
echo "version=$version" >> "$GITHUB_OUTPUT"

- name: Cache opam state (~/.opam + _opam)
id: cache-opam
uses: actions/cache@v6
with:
path: |
~/.opam
_opam
key: ${{ runner.os }}-opam-ocaml-4.14.2-frama-c-32.1-cppo-alt-ergo-2.6.3-v2
key: ${{ runner.os }}-opam-${{ steps.opam-version.outputs.version }}-ocaml-4.14.2-frama-c-32.1-cppo-alt-ergo-2.6.3-v2

# alt-ergo for the same reason the full lane names it: it is an OPTIONAL
# dependency of frama-c, so installing frama-c alone brings why3 and not
Expand Down
Loading