michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Changed cache id to match site builder name.

Browse source
This commit is contained in:
Wen Kokke 2021-09-01 21:17:01 +01:00
parent b100c017c6
commit 70c9a61de9
No known key found for this signature in database
GPG key ID: 7EB7DBBCEB539DB8
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/build.yml vendored
View file

@ -82,14 +82,14 @@ jobs:
- name: Cache Site Builder - name: Cache Site Builder
uses: actions/cache@v2 uses: actions/cache@v2
id: cache-builder id: cache-site-builder
with: with:
path: | path: |
$GITHUB_WORKSPACE/.stack-work $GITHUB_WORKSPACE/.stack-work
key: ${{ matrix.os }}-ghc-${{ matrix.ghc }}-agda-${{ matrix.agda }} key: ${{ matrix.os }}-ghc-${{ matrix.ghc }}-agda-${{ matrix.agda }}
- name: Build Site Builder - name: Build Site Builder
if: steps.cache-builder.outputs.cache-hit != 'true' if: steps.cache-site-builder.outputs.cache-hit != 'true'
run: make build-deps run: make build-deps
shell: bash shell: bash