Fix error in workflow config

tchajed · Sep 26, 2024 · 1b2e2a5 · 1b2e2a5
1 parent 522aa16
commit 1b2e2a5
Showing 1 changed file with 3 additions and 7 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -19,18 +19,14 @@ permissions:
 jobs:
   build:
     runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        coq_version:
-          - "8.19"
-      fail-fast: false
+    env:
+      coq_version: "8.19"
     steps:
       - uses: actions/checkout@v4
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: "seplogic-demo.opam"
-          coq_version: ${{ matrix.coq_version }}
-          ocaml_version: ${{ matrix.ocaml_version }}
+          coq_version: ${{ env.coq_version }}
           before_script: |
             sudo chown -R coq:coq . # workaround a permission issue
           install: |