Demo build

Author: erikmd

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

@@ -52,7 +52,7 @@ jobs:
           # - mathcomp/mathcomp:1.10.0-coq-8.10
           - mathcomp/mathcomp:1.10.0-coq-8.11
           # - mathcomp/mathcomp:1.11.0-coq-dev  # not available anymore
-          - mathcomp/mathcomp-dev:coq-dev
+          # - mathcomp/mathcomp-dev:coq-dev
         matrix_script:
           - "opam pin list"
       max-parallel: 4