ci: update GitHub actions

NodeJS 16 is deprecated so we have to upgrade the GitHub actions that depend on it. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Feb 28, 2024 · 665d668 · 665d668
1 parent e3a6edc
commit 665d668
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/sdk.yaml b/.github/workflows/sdk.yaml
@@ -21,9 +21,9 @@ jobs:
     runs-on: ubuntu-20.04
     steps:
       - name: Checkout Microkit repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Checkout seL4 repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
             repository: seL4/seL4
             ref: microkit
@@ -51,9 +51,9 @@ jobs:
     runs-on: macos-12
     steps:
       - name: Checkout Microkit repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Checkout seL4 repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
             repository: seL4/seL4
             ref: microkit
@@ -76,9 +76,9 @@ jobs:
     runs-on: macos-12
     steps:
       - name: Checkout Microkit repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Checkout seL4 repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
             repository: seL4/seL4
             ref: microkit