chore(deps): update actions/checkout action to v4

Author: renovate[bot]

.github/workflows/ci.yaml

@@ -10,7 +10,7 @@ jobs:
   fsharp:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Setup
       run: |
         sudo npm install -g bats
@@ -27,7 +27,7 @@ jobs:
   rust:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Setup
       run: |
         sudo npm install -g bats
@@ -39,7 +39,7 @@ jobs:
   csharp:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Setup
       run: |
         sudo npm install -g bats
@@ -59,7 +59,7 @@ jobs:
   cpp:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Setup
       run: |
         sudo npm install -g bats
@@ -71,7 +71,7 @@ jobs:
   c:
     runs-on: macos-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Setup
       run: |
         brew install bats-core
@@ -83,15 +83,15 @@ jobs:
   kotlin:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Build
       working-directory: Kotlin
       run: make && make run
 
   go:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Setup
       run: |
         sudo npm install -g bats
@@ -102,7 +102,7 @@ jobs:
   java:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Setup
       run: |
         sudo npm install -g bats
@@ -116,7 +116,7 @@ jobs:
   zig:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Setup
         run: |
           sudo npm install -g bats