Split up docker action

mit-plv · Nov 1, 2023 · 7f488d9 · 7f488d9
1 parent 4dc1d15
commit 7f488d9
Showing 1 changed file with 45 additions and 13 deletions.
diff --git a/.github/workflows/docker-coq.yml b/.github/workflows/docker-coq.yml
@@ -36,39 +36,71 @@ jobs:
       with:
         coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
         ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
-        export: CI ALLOW_DIFF SKUP_DISPLAY_TEST CC
+        export: CI ALLOW_DIFF SKIP_DISPLAY_TEST CC
         custom_script: |
           eval $(opam env)
           etc/ci/describe-system-config.sh
     - name: remove autogenerated
       run: etc/ci/remove_autogenerated.sh
-    - name: build
+    - name: install gcc
       uses: coq-community/docker-coq-action@v1
       with:
         coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
         ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
-        export: CI ALLOW_DIFF SKUP_DISPLAY_TEST CC
+        export: CI ALLOW_DIFF SKIP_DISPLAY_TEST CC
         custom_script: |
            #startGroup 'install gcc'
            #sudo apt-get update -q
            #sudo apt-get install g++-7 libssl-dev -y --allow-unauthenticated
            #sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-7 60 --slave /usr/bin/g++ g++ /usr/bin/g++-7
            #endGroup
-           startGroup 'some-early util'
+    - name: some-early util
+      uses: coq-community/docker-coq-action@v1
+      with:
+        coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
+        ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
+        export: CI ALLOW_DIFF SKIP_DISPLAY_TEST CC
+        custom_script: |
            etc/ci/github-actions-docker-make.sh -j2 some-early util
-           endGroup
-           startGroup 'printlite lite'
+    - name: printlite lite
+      uses: coq-community/docker-coq-action@v1
+      with:
+        coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
+        ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
+        export: CI ALLOW_DIFF SKIP_DISPLAY_TEST CC
+        custom_script: |
            etc/ci/github-actions-docker-make.sh -j2 printlite lite
-           endGroup
-           startGroup no-curves-proofs-non-specific
+    - name: no-curves-proofs-non-specific
+      uses: coq-community/docker-coq-action@v1
+      with:
+        coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
+        ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
+        export: CI ALLOW_DIFF SKIP_DISPLAY_TEST CC
+        custom_script: |
            etc/ci/github-actions-docker-make.sh -j2 no-curves-proofs-non-specific
-           endGroup
-           startGroup curves-proofs
+    - name: curves-proofs
+      uses: coq-community/docker-coq-action@v1
+      with:
+        coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
+        ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
+        export: CI ALLOW_DIFF SKIP_DISPLAY_TEST CC
+        custom_script: |
            etc/ci/github-actions-docker-make.sh -j2 curves-proofs
-           endGroup
-           startGroup selected-specific selected-specific-display
+    - name: selected-specific selected-specific-display
+      uses: coq-community/docker-coq-action@v1
+      with:
+        coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
+        ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
+        export: CI ALLOW_DIFF SKIP_DISPLAY_TEST CC
+        custom_script: |
            ALLOW_DIFF="${SKIP_DISPLAY_TEST}" etc/ci/github-actions-docker-make.sh -j2 selected-specific selected-specific-display
-           endGroup
+    - name: selected-specific-display-test and more
+      uses: coq-community/docker-coq-action@v1
+      with:
+        coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
+        ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
+        export: CI ALLOW_DIFF SKIP_DISPLAY_TEST CC
+        custom_script: |
            #startGroup selected-specific-display-test
            #etc/ci/github-actions-docker-make.sh -j2 selected-specific-display-test
            #endGroup