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.

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

crux-mir-build.yml: Cache cargo dependencies #1314

Merged
merged 2 commits into from
Feb 24, 2025
Merged

crux-mir-build.yml: Cache cargo dependencies #1314

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
56ee025
crux-mir-build.yml: Rename CACHE_VERSION to CABAL_CACHE_VERSION
RyanGlScott Feb 24, 2025
d3e4f8d
crux-mir-build.yml: Cache cargo dependencies
RyanGlScott Feb 24, 2025
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
35 changes: 22 additions & 13 deletions .github/workflows/crux-mir-build.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,17 +9,18 @@ on:
workflow_dispatch:

env:
# The CACHE_VERSION can be updated to force the use of a new cache if
# the current cache contents become corrupted/invalid. This can
# sometimes happen when (for example) the OS version is changed but
# older .so files are cached, which can have various effects
# (e.g. cabal complains it can't find a valid version of the "happy"
# tool).
# The CABAL_CACHE_VERSION and CARGO_CACHE_VERSION environment variables can
# be updated to force the use of a new cabal or cargo cache if the respective
# cache contents become corrupted/invalid. This can sometimes happen when
# (for example) the OS version is changed but older .so files are cached,
# which can have various effects (e.g. cabal complains it can't find a valid
# version of the "happy" tool).
#
# This also periodically happens on MacOS builds due to a tar bug
# (symptom: "No suitable image found ... unknown file type, first
# eight bytes: 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00")
CACHE_VERSION: 4
# This also periodically happens on MacOS builds due to a tar bug (symptom:
# "No suitable image found ... unknown file type, first eight bytes: 0x00
# 0x00 0x00 0x00 0x00 0x00 0x00 0x00")
CABAL_CACHE_VERSION: 4
CARGO_CACHE_VERSION: 1
# If you update this, make sure to also update RUST_TOOLCHAIN in
# .github/Dockerfile-crux-mir
RUST_TOOLCHAIN: "nightly-2023-01-23"
Expand Down Expand Up @@ -120,9 +121,17 @@ jobs:
path: |
${{ steps.setup-haskell.outputs.cabal-store }}
dist-newstyle
key: ${{ env.CACHE_VERSION }}-cabal-${{ matrix.os }}-${{ matrix.ghc }}-${{ hashFiles(format('cabal.GHC-{0}.config', matrix.ghc)) }}-${{ github.sha }}
key: ${{ env.CABAL_CACHE_VERSION }}-cabal-${{ matrix.os }}-${{ matrix.ghc }}-${{ hashFiles(format('cabal.GHC-{0}.config', matrix.ghc)) }}-${{ github.sha }}
restore-keys: |
${{ env.CACHE_VERSION }}-cabal-${{ matrix.os }}-${{ matrix.ghc }}-${{ hashFiles(format('cabal.GHC-{0}.config', matrix.ghc)) }}-
${{ env.CABAL_CACHE_VERSION }}-cabal-${{ matrix.os }}-${{ matrix.ghc }}-${{ hashFiles(format('cabal.GHC-{0}.config', matrix.ghc)) }}-

- uses: Swatinem/rust-cache@v2
name: cargo cache
with:
cache-on-failure: "true"
prefix-key: "${{ env.CARGO_CACHE_VERSION }}-${{ matrix.os }}"
shared-key: "cargo-cache"
workspaces: "dependencies/mir-json"

- shell: bash
run: .github/ci.sh install_system_deps
Expand Down Expand Up @@ -222,7 +231,7 @@ jobs:
path: |
${{ steps.setup-haskell.outputs.cabal-store }}
dist-newstyle
key: ${{ env.CACHE_VERSION }}-cabal-${{ matrix.os }}-${{ matrix.ghc }}-${{ hashFiles(format('cabal.GHC-{0}.config', matrix.ghc)) }}-${{ github.sha }}
key: ${{ env.CABAL_CACHE_VERSION }}-cabal-${{ matrix.os }}-${{ matrix.ghc }}-${{ hashFiles(format('cabal.GHC-{0}.config', matrix.ghc)) }}-${{ github.sha }}

build-push-image:
runs-on: ubuntu-22.04
Expand Down
Loading