Merge pull request #4 from erikmd/custom_image

feat: Test PR rocq-community/docker-coq-action#10

Author: erikmd

.github/workflows/build-coq-demo.yml

@@ -24,7 +24,9 @@ jobs:
 
     strategy:
       matrix:
-        coq_version: ['8.11', 'dev']
+        coq_version:
+          - 8.11
+          - dev
         ocaml_version: ['4.07-flambda']
       # at most 20 concurrent jobs per free account
       # cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limits
@@ -56,3 +58,21 @@ jobs:
           startGroup Uninstallation test
             opam remove $PACKAGE
           endGroup
+
+  mathcomp:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        image:
+          - mathcomp/mathcomp:1.10.0-coq-8.10
+          - mathcomp/mathcomp:1.10.0-coq-8.11
+          - mathcomp/mathcomp:1.11.0-coq-dev
+          - mathcomp/mathcomp-dev:coq-dev
+      max-parallel: 4
+    steps:
+    - uses: actions/checkout@v2
+    - uses: erikmd/docker-coq-action@alpha
+      id: docker-mathcomp-action
+      with:
+        opam_file: './coq-demo.opam'
+        custom_image: ${{ matrix.image }}