Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
2 changes: 1 addition & 1 deletion .github/workflows/build-gossamer-gui.yml
Original file line number Diff line number Diff line change
Expand Up @@ -153,7 +153,7 @@ jobs:

- name: Cache Ephapax build
id: cache-ephapax
uses: actions/cache@2c8a9bd7457de244a408f35966fab2fb45fda9c8 # v6.0.0
uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v6.1.0
with:
path: |
/tmp/ephapax
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/estate-rescan.yml
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,7 @@ jobs:

- name: Cache built panic-attack
id: pa_cache
uses: actions/cache@2c8a9bd7457de244a408f35966fab2fb45fda9c8 # v6.0.0
uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v6.1.0
with:
path: ~/panic-attack-bin
# Exact-SHA key, no restore-keys: a partial hit would scan with
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/merge-orchestrate.yml
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ jobs:
elixir-version: '1.17'

- name: Restore Mix cache
uses: actions/cache@2c8a9bd7457de244a408f35966fab2fb45fda9c8 # v4
uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v4
with:
path: |
deps
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/security-policy.yml
Original file line number Diff line number Diff line change
Expand Up @@ -382,7 +382,7 @@ jobs:
toolchain: stable

- name: Cache cargo registry
uses: actions/cache@2c8a9bd7457de244a408f35966fab2fb45fda9c8 # v6.0.0
uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v6.1.0
with:
path: |
~/.cargo/registry
Expand Down Expand Up @@ -509,7 +509,7 @@ jobs:
cabal-update: true

- name: Cache Cabal dependencies
uses: actions/cache@2c8a9bd7457de244a408f35966fab2fb45fda9c8 # v6.0.0
uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v6.1.0
with:
path: |
~/.cabal/packages
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ jobs:
elixir-version: '1.17'

- name: Restore Mix cache
uses: actions/cache@2c8a9bd7457de244a408f35966fab2fb45fda9c8 # v4
uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v4
with:
path: |
deps
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/verify-proofs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,7 @@ jobs:

- name: Cache Idris 2 install
id: cache-idris
uses: actions/cache@2c8a9bd7457de244a408f35966fab2fb45fda9c8 # v6.0.0
uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v6.1.0
with:
path: |
/usr/local/bin/idris2
Expand Down Expand Up @@ -158,7 +158,7 @@ jobs:

- name: Cache Lean toolchain and build
id: cache-lean
uses: actions/cache@2c8a9bd7457de244a408f35966fab2fb45fda9c8 # v6.0.0
uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v6.1.0
with:
path: |
~/.elan
Expand Down Expand Up @@ -218,7 +218,7 @@ jobs:

- name: Cache tla2tools.jar
id: cache-tla
uses: actions/cache@2c8a9bd7457de244a408f35966fab2fb45fda9c8 # v6.0.0
uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v6.1.0
with:
path: ~/.local/share/tla2tools.jar
key: tla2tools-v1.8.0
Expand Down
Loading