Update CI action

mit-pdos · Sep 17, 2024 · 60bee41 · 60bee41
1 parent a6a5aa0
commit 60bee41
Showing 1 changed file with 3 additions and 8 deletions.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -18,11 +18,10 @@ jobs:
       matrix:
         image:
           - "coqorg/coq:dev"
-          - "coqorg/coq:8.15"
-          - "coqorg/coq:8.14"
+          - "coqorg/coq:8.20"
       fail-fast: false
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
         with:
           submodules: true
       - uses: coq-community/docker-coq-action@v1
@@ -37,14 +36,10 @@ jobs:
             endGroup
           script: |
             startGroup "Build project"
-              make -j2 -k
+              make -j4 -k
             endGroup
           after_script:
           uninstall:
       - name: Revert permissions
-        # to avoid a warning at cleanup time
         if: ${{ always() }}
         run: sudo chown -R 1001:116 .
-# See also:
-# https://github.com/coq-community/docker-coq-action#readme
-# https://github.com/erikmd/docker-coq-github-action-demo