version github actions again

Author: exaexa

.github/workflows/main.yml

@@ -15,13 +15,13 @@ jobs:
     container: { image: 'aergus/latex' }
 
     steps:
-      - uses: actions/checkout
+      - uses: actions/checkout@v5
         with:
           fetch-depth: 0
       - name: Build
         run: make
       - name: Upload artifacts
-        uses: actions/upload-artifact
+        uses: actions/upload-artifact@v4
         with:
           name: FROG specification
           path: |