Update actions/checkout action to v5

Author: renovate[bot]

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

@@ -17,7 +17,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Repo
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
 
       - name: Set up SSH
         uses: MrSquaare/ssh-setup-action@v3
@@ -48,7 +48,7 @@ jobs:
       TAG: ghcr.io/${{ github.repository }}/base:${{ inputs.idris-version }}
     steps:
       - name: Checkout Repo
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
 
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v3
@@ -88,7 +88,7 @@ jobs:
       TAG: idris-base-${{ inputs.idris-version }}:test
     steps:
       - name: Checkout Repo
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
 
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v3

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

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

.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@v4
+        uses: actions/checkout@v5
 
       - name: Setup Buildx (no ARM)
         uses: docker/setup-buildx-action@v3

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

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