Disable some images

Author: erikmd

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

@@ -23,11 +23,11 @@ jobs:
     strategy:
       matrix:
         coq_version:
-          - '8.11'
+          # - '8.11'
           - dev
         ocaml_version:
           - '4.07-flambda'
-          - '4.09-flambda'
+          # - '4.09-flambda'
       # at most 20 concurrent jobs per free account:
       # https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limits
       max-parallel: 4
@@ -49,9 +49,9 @@ jobs:
     strategy:
       matrix:
         image:
-          - mathcomp/mathcomp:1.10.0-coq-8.10
+          # - 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:1.11.0-coq-dev  # not available anymore
           - mathcomp/mathcomp-dev:coq-dev
         matrix_script:
           - "opam pin list"