File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -441,12 +441,17 @@ jobs:
441441 git checkout FETCH_HEAD
442442 echo "AGDA_WASM_COMMIT=$(git rev-parse HEAD)" >> "$GITHUB_ENV"
443443
444+ - name : Compute dist-newstyle cache key
445+ id : dist-newstyle-cache-key
446+ run : |
447+ echo "key=dist-newstyle-v2-${{ env.CI_CACHE_KEY }}-agda-${{ env.AGDA_WASM_COMMIT }}-${{ hashFiles('als/cabal.project.wasm32', 'als/agda-language-server.cabal', 'als/package.yaml') }}" >> "$GITHUB_OUTPUT"
448+
444449 - name : Restore dist-newstyle cache for resolved Agda revision
445450 id : dist-newstyle-cache-restore-resolved
446451 uses : actions/cache/restore@v4
447452 with :
448453 path : als/dist-newstyle
449- key : dist-newstyle-v2- ${{ env.CI_CACHE_KEY }}-agda-${{ env.AGDA_WASM_COMMIT }}-${{ hashFiles('als/cabal.project.wasm32', 'als/agda-language-server.cabal', 'als/package.yaml') }}
454+ key : ${{ steps.dist-newstyle-cache-key.outputs.key }}
450455
451456 - name : Cabal configure
452457 working-directory : ' ./als'
@@ -475,7 +480,7 @@ jobs:
475480 if : steps.build-deps-other-than-agda.outcome == 'success'
476481 with :
477482 path : als/dist-newstyle
478- key : dist-newstyle-v2- ${{ env.CI_CACHE_KEY }}-agda-${{ env.AGDA_WASM_COMMIT }}-${{ hashFiles('als/cabal.project.wasm32', 'als/agda-language-server.cabal', 'als/package.yaml') }}
483+ key : ${{ steps.dist-newstyle-cache-key.outputs.key }}
479484
480485 - name : Build als
481486 working-directory : ' ./als'
You can’t perform that action at this time.
0 commit comments