From 34afcb63185572f75c9274505df1cc49e8242e2c Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 22 Jan 2024 16:30:42 +0100 Subject: [PATCH] GHA: use julia-actions/cache some more --- .github/workflows/Invalidations.yml | 6 ++++++ .github/workflows/oscar.yml | 7 +++++++ 2 files changed, 13 insertions(+) diff --git a/.github/workflows/Invalidations.yml b/.github/workflows/Invalidations.yml index 4021410a07..36be0b2f03 100644 --- a/.github/workflows/Invalidations.yml +++ b/.github/workflows/Invalidations.yml @@ -3,6 +3,11 @@ name: Invalidations on: pull_request: +# needed to allow julia-actions/cache to delete old caches that it has created +permissions: + actions: write + contents: read + concurrency: # Skip intermediate builds: always. # Cancel intermediate builds: always. @@ -19,6 +24,7 @@ jobs: - uses: julia-actions/setup-julia@v1 with: version: '1' + - uses: julia-actions/cache@v1 - uses: actions/checkout@v3 - uses: julia-actions/julia-buildpkg@v1 - uses: julia-actions/julia-invalidations@v1 diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml index 9a95e0fb39..c2e37fb907 100644 --- a/.github/workflows/oscar.yml +++ b/.github/workflows/oscar.yml @@ -9,6 +9,11 @@ on: - master workflow_dispatch: +# needed to allow julia-actions/cache to delete old caches that it has created +permissions: + actions: write + contents: read + concurrency: # group by workflow and ref; the last slightly strange component ensures that for pull # requests, we limit to 1 concurrent job, but for the master branch we don't @@ -30,6 +35,7 @@ jobs: uses: julia-actions/setup-julia@v1 with: version: '1.10' + - uses: julia-actions/cache@v1 - name: OscarDevTools - CI if: github.repository == 'oscar-system/OscarDevTools.jl' run: | @@ -70,6 +76,7 @@ jobs: uses: julia-actions/setup-julia@v1 with: version: ${{ matrix.julia-version }} + - uses: julia-actions/cache@v1 - name: re-using OscarDevTools checkout if: github.repository == 'oscar-system/OscarDevTools.jl' run: |