diff options
| author | Daniel Thompson <daniel@redfelineninja.org.uk> | 2021-12-26 09:15:32 (GMT) |
|---|---|---|
| committer | Daniel Thompson <daniel@redfelineninja.org.uk> | 2021-12-26 09:15:32 (GMT) |
| commit | c876f7cfdb61c89c329682fc6477092809d92b3b (patch) | |
| tree | a52412c778ee1ddf06f97701d5e647a9b4d7c333 /.github | |
| parent | 9012b85ede15c561ddb1998e39906548773dd988 (diff) | |
github: Add a version number to the cache
It isn't possible to clear the action cache directly but we can change the
version number and adopt a new cache. Eventually the old (now unused
one) will be cleaned up.
Signed-off-by: Daniel Thompson <daniel@redfelineninja.org.uk>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 1d4ac90..b0caa58 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -19,7 +19,7 @@ jobs: id: cache-toolchain uses: actions/cache@v2 env: - cache-name: cache-toolchain + cache-name: cache-toolchain-10-2020-q4 with: path: ${{ runner.temp }}/arm-none-eabi key: ${{ runner.os }}-build-${{ env.cache-name }} |