File tree Expand file tree Collapse file tree 1 file changed +4
-6
lines changed Expand file tree Collapse file tree 1 file changed +4
-6
lines changed Original file line number Diff line number Diff line change @@ -27,14 +27,12 @@ jobs:
2727 run : sudo apt-get install jq
2828
2929 - name : Restore cached _freeze folder
30- id : cache-primes- restore
30+ id : cache-restore
3131 uses : actions/cache/restore@v4
3232 with :
3333 path : |
3434 _freeze/
35- key : ${{ runner.os }}-primes-${{ github.run_id }}
36- restore-keys : |
37- ${{ runner.os }}-primes
35+ key : ${{ runner.os }}-${{ hashFiles('**/Manifest.toml') }}
3836
3937 - name : Extract version from _quarto.yml
4038 id : extract_version
@@ -70,12 +68,12 @@ jobs:
7068 run : mv _site/search.json _site/search_original.json
7169
7270 - name : Save _freeze folder
73- id : cache-primes- save
71+ id : cache-save
7472 uses : actions/cache/save@v4
7573 with :
7674 path : |
7775 _freeze/
78- key : ${{ runner.os }}-primes- ${{ github.run_id }}
76+ key : ${{ runner.os }}-${{ hashFiles('**/Manifest.toml') }}
7977
8078 - name : Fetch search_original.json from main site
8179 run : curl -O https://raw.githubusercontent.com/TuringLang/turinglang.github.io/gh-pages/search_original.json
You can’t perform that action at this time.
0 commit comments