Merge branch 'main' into patch-3

This commit is contained in:
Tom Parker-Shemilt 2023-02-18 22:16:32 +00:00 committed by GitHub
commit 2a94cc0d54
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -23,7 +23,7 @@ jobs:
- name: Get random cache id
run: echo "CACHE_ID=$((RANDOM))" >> $GITHUB_ENV
shell: bash
- uses: pat-s/always-upload-cache@v3.0.1
- uses: pat-s/always-upload-cache@v3.0.11
with:
path: results/*.yaml
key: results-${{ hashFiles('Cargo.lock') }}-${{ hashFiles('README.md') }}-${{ env.CACHE_ID }}