Update coq-debian.yml (#1877)

Remove change that broke CI, sorry for not testing
mit-plv · Apr 17, 2024 · 6bce0ff · 6bce0ff
1 parent cff8b9c
commit 6bce0ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-debian.yml b/.github/workflows/coq-debian.yml
@@ -39,7 +39,7 @@ jobs:
       run: etc/ci/describe-system-config.sh
     - name: chroot build params
       shell: in-debian-chroot.sh {0}
-      run: CI=1 GITHUB_STEP_SUMMARY="$GITHUB_STEP_SUMMARY" etc/ci/describe-system-config.sh
+      run: CI=1 etc/ci/describe-system-config.sh
     - name: make deps
       shell: in-debian-chroot.sh {0}
       run: etc/ci/github-actions-make.sh -j2 deps