File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -446,9 +446,9 @@ jobs:
446446 uses : actions/cache/restore@v4
447447 with :
448448 path : als/dist-newstyle
449- key : dist-newstyle-${{ env.CI_CACHE_KEY }}-agda-${{ env.AGDA_WASM_COMMIT }}-${{ hashFiles('als/cabal.project.wasm32', 'als/agda-language-server.cabal', 'als/package.yaml') }}
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') }}
450450 restore-keys : |
451- dist-newstyle-${{ env.CI_CACHE_KEY }}-agda-${{ env.AGDA_WASM_COMMIT }}-
451+ dist-newstyle-v2- ${{ env.CI_CACHE_KEY }}-agda-${{ env.AGDA_WASM_COMMIT }}-
452452 dist-newstyle-${{ runner.os }}-${{ runner.arch }}-
453453
454454 - name : Cabal configure
@@ -478,7 +478,7 @@ jobs:
478478 if : steps.build-deps-other-than-agda.outcome == 'success'
479479 with :
480480 path : als/dist-newstyle
481- key : dist-newstyle-${{ env.CI_CACHE_KEY }}-agda-${{ env.AGDA_WASM_COMMIT }}-${{ hashFiles('als/cabal.project.wasm32', 'als/agda-language-server.cabal', 'als/package.yaml') }}
481+ 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') }}
482482
483483 - name : Build als
484484 working-directory : ' ./als'
You can’t perform that action at this time.
0 commit comments