Merge pull request #327 from JuliaReach/dependabot/github_actions/actions/checkout-5

Bump actions/checkout from 4 to 5

Author: schillic

.github/workflows/doc-preview-cleanup.yml

@@ -9,7 +9,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout gh-pages branch
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           ref: gh-pages
       - name: Delete preview and history

.github/workflows/documentation.yml

@@ -28,7 +28,7 @@ jobs:
         with:
           version: '1'
       - name: Check out repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
       - name: Cache artifacts
         uses: julia-actions/cache@v2
       - name: Install dependencies

.github/workflows/format.yml

@@ -9,7 +9,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Check out repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
       - name: Cache artifacts
         uses: julia-actions/cache@v2
       - name: Install JuliaFormatter and format

.github/workflows/invalidations.yml

@@ -23,7 +23,7 @@ jobs:
           version: '1'
       # current branch
       - name: Check out repository in current branch
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
       - name: Cache artifacts
         uses: julia-actions/cache@v2
       - name: Build package in current branch
@@ -33,7 +33,7 @@ jobs:
         id: invs_branch
       # default branch
       - name: Check out repository in default branch
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           ref: ${{ github.event.repository.default_branch }}
       - name: Build package in default branch

.github/workflows/spell-check.yml

@@ -13,6 +13,6 @@ jobs:
     if: "!contains(github.event.head_commit.message, 'skip ci')"
     steps:
       - name: Check out repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
       - name: Check spelling
         uses: crate-ci/typos@master

.github/workflows/test-master.yml

@@ -30,7 +30,7 @@ jobs:
       JULIA_PKG_SERVER: ''
     steps:
       - name: Check out repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
       - name: Set up Julia
         uses: julia-actions/setup-julia@v2
         with:

.github/workflows/test-pull-request.yml

@@ -33,7 +33,7 @@ jobs:
       JULIA_PKG_SERVER: ''
     steps:
       - name: Check out repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
       - name: Set up Julia
         uses: julia-actions/setup-julia@v2
         with: