feat: Change GHA workflow name

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

@@ -1,5 +1,5 @@
 # This is a workflow example relying on docker-coq-action
-name: CI
+name: Docker CI
 
 # Controls when the action will run:
 # https://help.github.com/en/actions/configuring-and-managing-workflows/configuring-a-workflow#filtering-for-specific-branches-tags-and-paths
@@ -23,11 +23,11 @@ jobs:
     strategy:
       matrix:
         coq_version:
-          - '8.11'
+          # - '8.11'
           - dev
         ocaml_version:
+          - 'minimal'
           - '4.07-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
@@ -38,29 +38,29 @@ jobs:
     steps:
       # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
       - uses: actions/checkout@v2
-      - uses: coq-community/docker-coq-action@v1
+      - uses: coq-community/docker-coq-action@single-switch
         with:
           opam_file: 'coq-demo.opam'
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}
 
-  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
-      fail-fast: false
-    steps:
-      - uses: actions/checkout@v2
-      - uses: coq-community/docker-coq-action@v1
-        with:
-          opam_file: './coq-demo.opam'
-          custom_image: ${{ matrix.image }}
+#   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
+#       fail-fast: false
+#     steps:
+#       - uses: actions/checkout@v2
+#       - uses: coq-community/docker-coq-action@v1
+#         with:
+#           opam_file: './coq-demo.opam'
+#           custom_image: ${{ matrix.image }}
 
 # Remark:
 # you may want to add the following badge to your README.md:

README.md

@@ -1,6 +1,6 @@
 # docker-coq-github-action-demo
 
-[![CI](https://github.com/erikmd/docker-coq-github-action-demo/workflows/CI/badge.svg?branch=master)](https://github.com/erikmd/docker-coq-github-action-demo/actions?query=workflow%3ACI)
+[![Docker CI](https://github.com/erikmd/docker-coq-github-action-demo/workflows/Docker%20CI/badge.svg?branch=master)](https://github.com/erikmd/docker-coq-github-action-demo/actions?query=workflow%3A"Docker CI")
 
 Demo of:
 
@@ -13,9 +13,9 @@ Demo of:
 Note: you can add a badge in your `README.md`, like that of this demo:
 
 ```
-[![CI](https://github.com/$USER/$REPO/workflows/CI/badge.svg?branch=master)](https://github.com/$USER/$REPO/actions?query=workflow%3ACI)
+[![Docker CI](https://github.com/$USER/$REPO/workflows/Docker%20CI/badge.svg?branch=master)](https://github.com/$USER/$REPO/actions?query=workflow%3A"Docker%20CI")
 ```
 
 after replacing `$USER/$REPO` to use your project namespace; note also
-that CI is the workflow name, defined at the beginning of [this file](
-./.github/workflows/build-coq-demo.yml).
+that `Docker CI` is the workflow name, defined at the beginning of
+[this file]( ./.github/workflows/build-coq-demo.yml).