From b739724dcf585c4d85356a7772c7917db4b575f9 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 12 May 2024 13:57:09 -0700
Subject: [PATCH] [CI] Remove dead code (#1903)

---
 .github/workflows/coq-docker.yml | 24 +++---------------------
 1 file changed, 3 insertions(+), 21 deletions(-)

diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml
index 13980fee9d..b86ac129e9 100644
--- a/.github/workflows/coq-docker.yml
+++ b/.github/workflows/coq-docker.yml
@@ -130,31 +130,13 @@ jobs:
       with:
         coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
         ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
-        export: CI ALLOW_DIFF COQCHKEXTRAFLAGS GITHUB_STEP_SUMMARY COQ_IMAGE
+        export: CI ALLOW_DIFF COQCHKEXTRAFLAGS GITHUB_STEP_SUMMARY COQ_IMAGE GITHUB_ENV
         custom_script: |
-          printf "'%s'\n" "${COQ_IMAGE}"
-          printf "%s" "${COQ_IMAGE}" > .coqimage
-    - name: Set COQ_IMAGE
-      run: |
-        COQ_IMAGE="$(cat .coqimage)"
-        # N.B. This block can be removed once https://github.com/coq-community/docker-coq-action/pull/89 is merged
-        # we can just do `echo "COQ_IMAGE=$(cat .coqimage)" >> $GITHUB_ENV` then
-        if [ -z "${COQ_IMAGE}" ]; then
-          echo "::warning::.coqimage is empty, parsing docker images for coqorg/coq:.*${{ matrix.env.DOCKER_COQ_VERSION }}.*"
-          echo "::group::docker images"
-          docker images
-          echo "::endgroup::"
-          echo "::group::docker images --format '{{.Repository}}:{{.Tag}}'"
-          docker images --filter "reference=coqorg/coq*" --format "{{.Repository}}:{{.Tag}}"
-          echo "::endgroup::"
-          COQ_IMAGE="$(docker images --filter "reference=coqorg/coq*" --format "{{.Repository}}:{{.Tag}}" | grep -o 'coqorg/coq:.*${{ matrix.env.DOCKER_COQ_VERSION }}.*')"
-        fi
-        echo "COQ_IMAGE=${COQ_IMAGE}" >> $GITHUB_ENV
+          echo "COQ_IMAGE=${COQ_IMAGE}" | tee -a $GITHUB_ENV
     - run: docker save "$COQ_IMAGE" -o image.tar
     - name: Set coq_image_name Output to ${{ runner.os }}-docker-${{ hashFiles('image.tar') }}
       id: set-output-step
-      run: |
-        echo "coq_image_name=${{ runner.os }}-docker-${{ hashFiles('image.tar') }}" >> $GITHUB_OUTPUT
+      run: echo "coq_image_name=${{ runner.os }}-docker-${{ hashFiles('image.tar') }}" >> $GITHUB_OUTPUT
     - name: Cache Docker image
       uses: actions/cache@v3
       with: