Skip to content

fix(ci): key the Idris 2 cache on the Chez Scheme version #930

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
hyperpolymath merged 1 commit into from
Oct 19, 2026
+36 −2
Merged

fix(ci): key the Idris 2 cache on the Chez Scheme version #930

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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: 18 additions & 1 deletion .github/workflows/abi-codegen-drift.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,23 @@ jobs:
sudo apt-get update
sudo apt-get install -y chezscheme

# The cached ~/.idris2 holds a Chez-compiled idris2.so. A fasl-object
# is only loadable by the Chez that wrote it, and `ubuntu-latest` moved
# to a newer image (26.04) with a newer Chez, so the old cache restored
# an idris2.so the new Chez refuses:
# Exception: incompatible fasl-object version 0.0.0-pre-release.73
# The installed chezscheme package version is therefore part of the key,
# so an image or package bump rebuilds Idris 2 instead of loading a stale
# build. Keep this step and the key in step with abi-codegen-drift.yml /
# verify-proofs.yml, which share one cache entry on purpose.
- name: Chez Scheme version (Idris 2 cache key)
id: chez
run: |
set -euo pipefail
v="$(dpkg-query -W -f='${Version}' chezscheme | tr -c 'A-Za-z0-9.' '-')"
[ -n "$v" ]
echo "version=$v" >> "$GITHUB_OUTPUT"

- name: Cache Idris 2 install
id: cache-idris
uses: actions/cache@v6.1.0
Expand All @@ -60,7 +77,7 @@ jobs:
# bootstrap. Keep the suffix in step with it. `-3` = the
# single-prefix layout (#820); `-2` and earlier entries are the
# split-prefix caches and must not be restored.
key: idris2-${{ env.IDRIS2_VERSION }}-${{ runner.os }}-3
key: idris2-${{ env.IDRIS2_VERSION }}-${{ runner.os }}-chez${{ steps.chez.outputs.version }}-3

- name: Build Idris 2 from source
if: steps.cache-idris.outputs.cache-hit != 'true'
Expand Down
19 changes: 18 additions & 1 deletion .github/workflows/verify-proofs.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,23 @@ jobs:
sudo apt-get update
sudo apt-get install -y chezscheme

# The cached ~/.idris2 holds a Chez-compiled idris2.so. A fasl-object
# is only loadable by the Chez that wrote it, and `ubuntu-latest` moved
# to a newer image (26.04) with a newer Chez, so the old cache restored
# an idris2.so the new Chez refuses:
# Exception: incompatible fasl-object version 0.0.0-pre-release.73
# The installed chezscheme package version is therefore part of the key,
# so an image or package bump rebuilds Idris 2 instead of loading a stale
# build. Keep this step and the key in step with abi-codegen-drift.yml /
# verify-proofs.yml, which share one cache entry on purpose.
- name: Chez Scheme version (Idris 2 cache key)
id: chez
run: |
set -euo pipefail
v="$(dpkg-query -W -f='${Version}' chezscheme | tr -c 'A-Za-z0-9.' '-')"
[ -n "$v" ]
echo "version=$v" >> "$GITHUB_OUTPUT"

- name: Cache Idris 2 install
id: cache-idris
uses: actions/cache@v6.1.0
Expand All @@ -105,7 +122,7 @@ jobs:
# every cache *hit* restored a launcher with no image and died
# with `idris2_app/idris2.so: not found` (exit 127) before any
# proof ran. ~/.idris2/bin/{idris2,idris2_app} travels together.
key: idris2-${{ env.IDRIS2_VERSION }}-${{ runner.os }}-3
key: idris2-${{ env.IDRIS2_VERSION }}-${{ runner.os }}-chez${{ steps.chez.outputs.version }}-3

- name: Build Idris 2 from source
if: steps.cache-idris.outputs.cache-hit != 'true'
Expand Down
Loading