ci: bump actions/checkout to v4

Author: dizer-ti

.github/workflows/compile.yml

@@ -8,7 +8,7 @@ jobs:
   archive-build-spec:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Install JetBrainsMono
         run: mkdir JetBrainsMono
              && cd JetBrainsMono