From 7f488d949b82c0fa604c243d6a0bdef3ab49200c Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 31 Oct 2023 19:45:32 -0700
Subject: [PATCH] Split up docker action

---
 .github/workflows/docker-coq.yml | 58 +++++++++++++++++++++++++-------
 1 file changed, 45 insertions(+), 13 deletions(-)

diff --git a/.github/workflows/docker-coq.yml b/.github/workflows/docker-coq.yml
index 2f3565a4ef..005a74c39b 100644
--- 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