From 6bce0ff7b316874b4706cc3de066a46364791ce6 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 16 Apr 2024 17:10:05 -0700
Subject: [PATCH] Update coq-debian.yml (#1877)

Remove change that broke CI, sorry for not testing
---
 .github/workflows/coq-debian.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/coq-debian.yml b/.github/workflows/coq-debian.yml
index c7fe6c9fb0..cd6199912b 100644
--- 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