[CI] Simplify docker image saving a bit more (#1905)

mit-plv · May 12, 2024 · 94ed9b3 · 94ed9b3
1 parent f7de8ae
commit 94ed9b3
Showing 1 changed file with 2 additions and 5 deletions.
diff --git 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