Merge 4116403 into 2227eea

fkastner · Sep 4, 2023 · 2840382 · 2840382
2 parents 2227eea + 4116403
commit 2840382
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -23,7 +23,7 @@ jobs:
     continue-on-error: ${{ matrix.version == 'nightly' }}
     steps:
       - name: Git checkout repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Set up Julia
         uses: julia-actions/setup-julia@v1
         with:

diff --git a/.github/workflows/Documenter.yml b/.github/workflows/Documenter.yml
@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Git checkout repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Set up Julia
         uses: julia-actions/setup-julia@latest
         with: