try docker

LPCIC · Dec 14, 2024 · 5d135a0 · 5d135a0
1 parent 8d3f5ed
commit 5d135a0
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -26,6 +26,27 @@ env:
 
 jobs:
 
+  docker:
+    runs-on: ubuntu-latest  # container actions require GNU/Linux
+    strategy:
+      matrix:
+        coq_version:
+          - '8.20'
+          - dev
+        ocaml_version: ['default']
+      fail-fast: false  # don't stop jobs if one fails
+    steps:
+      - uses: actions/checkout@v3
+      - uses: coq-community/docker-coq-action@v1
+        with:
+          opam_file: 'folder/coq-proj.opam'
+          coq_version: ${{ matrix.coq_version }}
+          ocaml_version: ${{ matrix.ocaml_version }}
+          export: 'OPAMWITHTEST OPAMIGNORECONSTRAINTS.'  # space-separated list of variables
+        env:
+          OPAMWITHTEST: 'true'
+          OPAMIGNORECONSTRAINTS: 'coq'
+
   build:
     runs-on: ubuntu-latest
     strategy: