Merge pull request #5 from FredMesnard/ci/bump-actions

Move the workflow onto the current major actions

Author: FredMesnard

.github/workflows/ci.yml

@@ -14,7 +14,7 @@ jobs:
       matrix:
         prolog: [swi, gprolog]
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v7
 
       - name: Install SWI-Prolog
         if: matrix.prolog == 'swi'
@@ -33,7 +33,7 @@ jobs:
 
       - name: Upload generated proofs
         if: always()
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v7
         with:
           name: tmp-${{ matrix.prolog }}
           path: tmp/
@@ -43,7 +43,7 @@ jobs:
     name: emacs mode
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v7
 
       - name: Install Emacs
         run: |