From 665d66837aadce86f72c8dc6e0afee2c325185c6 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Wed, 28 Feb 2024 20:07:51 +1100
Subject: [PATCH] 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 <i.velickovic@unsw.edu.au>
---
 .github/workflows/sdk.yaml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/sdk.yaml b/.github/workflows/sdk.yaml
index a1c58624..1f5f7ad2 100644
--- 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