Merge pull request #19 from jeremiedb/dev

Dev
jeremiedb · Oct 5, 2023 · 14d0dec · 14d0dec
2 parents f8bdce8 + db55427
commit 14d0dec
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
@@ -30,7 +30,7 @@ jobs:
             version: "1"
             arch: x64
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
       - uses: julia-actions/setup-julia@v1
         with:
           version: ${{ matrix.version }}

diff --git a/.github/workflows/Docs.yml b/.github/workflows/Docs.yml
@@ -11,7 +11,7 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
       - uses: julia-actions/setup-julia@latest
         with:
           version: '1.8'