Fix warnings about obsolete action versions

dafny-lang · Apr 9, 2024 · 62b50d7 · 62b50d7
1 parent 8477491
commit 62b50d7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -39,7 +39,7 @@ jobs:
             solver: z3-4.12.6
     steps:
       - name: Check out
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           submodules: true
           fetch-depth: 0
@@ -69,7 +69,7 @@ jobs:
         if: runner.os == 'Windows'
 
       - name: Upload artifact
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           path: bin
           name: ${{ matrix.solver }}-${{ matrix.arch }}-${{ matrix.os }}-bin