CI

logsem · Jul 22, 2023 · e585db5 · e585db5
1 parent d6f3e19
commit e585db5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -15,14 +15,14 @@ jobs:
     strategy:
       matrix:
         coq_version:
-          - '8.17.0'
+          - '8.17.1'
       max-parallel: 4
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
 
     steps:
     - name: Check out code
-      uses: actions/checkout@v2
+      uses: actions/checkout@v3
       with:
         submodules: true
     - uses: coq-community/docker-coq-action@v1