Merge pull request #3 from erikmd/test-matrix

Test build matrix

Author: erikmd

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

@@ -22,6 +22,14 @@ jobs:
     # the OS must be GNU/Linux to be able to use the docker-coq-action
     runs-on: ubuntu-latest
 
+    strategy:
+      matrix:
+        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
+      max-parallel: 4
+
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps:
     # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
@@ -31,8 +39,8 @@ jobs:
       id: docker-coq-action
       with:
         opam_file: 'coq-demo.opam'
-        coq_version: '8.11'
-        ocaml_version: '4.07-flambda'
+        coq_version: ${{ matrix.coq_version }}
+        ocaml_version: ${{ matrix.ocaml_version }}
         custom_script: |
           startGroup Print opam config
             opam config list; opam repo list; opam list