revert actions/checkout update due to a link error

Author: cometkim

.github/workflows/ci.yml

@@ -43,7 +43,7 @@ jobs:
         run: sed -i "s:ID=alpine:ID=NotpineForGHA:" /etc/os-release
 
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v3
 
       - name: Build compiler binaries
         run: opam exec -- dune build --display quiet --profile static
@@ -72,7 +72,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v3
 
       - name: Download static linux binaries
         if: runner.os == 'Linux'
@@ -125,7 +125,7 @@ jobs:
           git config --global core.eol lf
 
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v3
         with:
           fetch-depth: 2 # to be able to check for changes in subfolder jscomp/syntax later
 
@@ -259,7 +259,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v3
         with:
           submodules: true
 
@@ -323,7 +323,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v3
 
       - name: Use Node.js
         uses: actions/setup-node@v3