From d8d020aa2bf6492633044939498746a057dca5f2 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 29 Apr 2024 11:24:53 +0200 Subject: [PATCH] Update GH actions --- .github/workflows/CI.yml | 4 ++-- .github/workflows/Invalidations.yml | 2 +- .github/workflows/oscar.yml | 4 ++-- .github/workflows/treehash.yml | 2 +- 4 files changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 39003b708..a3781e67e 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -41,7 +41,7 @@ jobs: # be able to properly deal with PRs / merges fetch-depth: 2 - name: "Set up Julia" - uses: julia-actions/setup-julia@v1 + uses: julia-actions/setup-julia@v2 with: version: ${{ matrix.julia-version }} - name: "Cache artifacts" @@ -76,7 +76,7 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 - - uses: julia-actions/setup-julia@v1 + - uses: julia-actions/setup-julia@v2 with: version: '1.10' - name: "Cache artifacts" diff --git a/.github/workflows/Invalidations.yml b/.github/workflows/Invalidations.yml index cba2be955..f8edf7299 100644 --- a/.github/workflows/Invalidations.yml +++ b/.github/workflows/Invalidations.yml @@ -16,7 +16,7 @@ jobs: if: github.base_ref == github.event.repository.default_branch runs-on: ubuntu-latest steps: - - uses: julia-actions/setup-julia@v1 + - uses: julia-actions/setup-julia@v2 with: version: '1' - uses: julia-actions/cache@v1 diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml index f058bce0d..344195a6b 100644 --- a/.github/workflows/oscar.yml +++ b/.github/workflows/oscar.yml @@ -26,7 +26,7 @@ jobs: steps: - uses: actions/checkout@v4 - name: "Set up Julia" - uses: julia-actions/setup-julia@v1 + uses: julia-actions/setup-julia@v2 with: version: '1.10' - name: OscarDevTools - CI @@ -66,7 +66,7 @@ jobs: steps: - uses: actions/checkout@v4 - name: "Set up Julia" - uses: julia-actions/setup-julia@v1 + uses: julia-actions/setup-julia@v2 with: version: ${{ matrix.julia-version }} - name: re-using OscarDevTools checkout diff --git a/.github/workflows/treehash.yml b/.github/workflows/treehash.yml index 44f26e7d4..d66fc5e06 100644 --- a/.github/workflows/treehash.yml +++ b/.github/workflows/treehash.yml @@ -21,7 +21,7 @@ jobs: steps: - uses: actions/checkout@v4 - name: "Set up Julia" - uses: julia-actions/setup-julia@v1 + uses: julia-actions/setup-julia@v2 with: version: 1 - name: "Cache artifacts"