github: bump GitHub action versions

Update to current node16 versions. The old node12 actions are deprecated and will stop working. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Oct 26, 2023 · 4cbab82 · 4cbab82
1 parent 0ee1ebd
commit 4cbab82
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -15,7 +15,7 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v4
     - name: Install texlive
       run: |
         sudo apt-get install texlive-latex-extra texlive-fonts-extra

diff --git a/.github/workflows/license.yaml b/.github/workflows/license.yaml
@@ -16,6 +16,6 @@ jobs:
     name: License Check
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v4
     - name: Check
       uses: fsfe/reuse-action@master