fix checkout action version

Author: hohle

.github/workflows/check.yaml

@@ -10,6 +10,6 @@ jobs:
   build:
     runs-on: macos-latest
     steps:
-    - uses: actions/checkout@v
+    - uses: actions/checkout@v4
     - name: make check
       run: make check