github: bump action versions to node20

GitHub has started issuing warnings for node16 actions. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Feb 7, 2024 · 8a40ff6 · 8a40ff6
1 parent 4fdb96a
commit 8a40ff6
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/docker-build.yml b/.github/workflows/docker-build.yml
@@ -13,7 +13,7 @@ jobs:
     name: Docker images
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - run: ./build.sh -v -b sel4
     # the following will also build the plain camkes image:
     - run: ./build.sh -v -b camkes -s cakeml -s rust
@@ -25,7 +25,7 @@ jobs:
     name: Docker images (l4v)
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - run: ./build.sh -v -b sel4
     - run: ./build.sh -v -b camkes
     - run: ./build.sh -v -b l4v
diff --git a/.github/workflows/docker-deploy.yml b/.github/workflows/docker-deploy.yml
@@ -42,7 +42,7 @@ jobs:
       TAG: ${{ needs.tag.outputs.tag }}
       SNAPSHOT_DATE: ${{ needs.tag.outputs.snapshot_date }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: "Build trustworthysystems/sel4"
       run: |
         ./build.sh -e SNAPSHOT_DATE=${SNAPSHOT_DATE} -v -b sel4
@@ -87,7 +87,7 @@ jobs:
       TAG: ${{ needs.tag.outputs.tag }}
       SNAPSHOT_DATE: ${{ needs.tag.outputs.snapshot_date }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
 
     - name: "Build trustworthysystems/l4v"
       run: |

diff --git a/.github/workflows/linter.yml b/.github/workflows/linter.yml
@@ -16,7 +16,7 @@ jobs:
 
     steps:
       - name: Checkout Code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0 # full git history for comparison with other revisions
       - name: Lint Code Base