From 94ed9b3285ff8d25bb1c27d873e47c0fa0783478 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 12 May 2024 09:59:22 -0700
Subject: [PATCH] [CI] Simplify docker image saving a bit more (#1905)

---
 .github/workflows/coq-docker.yml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml
index c5853bf0db..b86ac129e9 100644
--- a/.github/workflows/coq-docker.yml
+++ b/.github/workflows/coq-docker.yml
@@ -130,12 +130,9 @@ 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: echo "COQ_IMAGE=$(cat .coqimage)" >> $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