Update actions/checkout

Author: joshuanianji

.github/workflows/version-base-build-test.yml

@@ -17,7 +17,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Set up SSH
         uses: MrSquaare/ssh-setup-action@v2
@@ -87,7 +87,7 @@ jobs:
       TAG: idris-base-${{ inputs.idris-version }}:test
     steps:
       - name: Checkout Repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v2
@@ -125,7 +125,7 @@ jobs:
       TAG: idris-consumer-${{ matrix.dockerfile }}-${{ inputs.idris-version }}:test
     steps:
       - name: Checkout Repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Setup Buildx (no ARM)
         uses: docker/setup-buildx-action@v2

.github/workflows/version-base-deploy.yml

@@ -17,7 +17,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Set up SSH
         uses: MrSquaare/ssh-setup-action@v2
@@ -63,7 +63,7 @@ jobs:
     needs: deploy-base
     steps:
       - name: Checkout Repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       # instead of native builds, we'll just use QEMU for consumers
       # consumer builds don't really do much intensive stuff anyway

.github/workflows/version-devcontainer-build-test.yml

@@ -28,7 +28,7 @@ jobs:
       TAG: idris-devcontainer-${{ inputs.idris-lsp-version }}:test
     steps:
       - name: Checkout Repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Setup Buildx (no ARM)
         uses: docker/setup-buildx-action@v2

.github/workflows/version-devcontainer-deploy.yml

@@ -20,7 +20,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Set up SSH
         uses: MrSquaare/ssh-setup-action@v2