From c3b4c4dddcf46a60094ecba90dc4ce44e1b85afe Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 20 Sep 2024 18:48:38 -0700
Subject: [PATCH] Update docker-coq.yml: remove needless code

---
 .github/workflows/docker-coq.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/docker-coq.yml b/.github/workflows/docker-coq.yml
index d6b1a3a94f..9c00aacac2 100644
--- a/.github/workflows/docker-coq.yml
+++ b/.github/workflows/docker-coq.yml
@@ -54,10 +54,10 @@ jobs:
            #sudo apt-get install g++-7 libssl-dev -y --allow-unauthenticated
            #sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-7 60 --slave /usr/bin/g++ g++ /usr/bin/g++-7
            #endGroup
-           startGroup 'install dependencies'
-           sudo apt-get -o Acquire::Retries=30 update -q
-           sudo apt-get -o Acquire::Retries=30 install python-is-python3 -y --allow-unauthenticated
-           endGroup
+           # startGroup 'install dependencies'
+           # sudo apt-get -o Acquire::Retries=30 update -q
+           # sudo apt-get -o Acquire::Retries=30 install python-is-python3 -y --allow-unauthenticated
+           # endGroup
     - name: some-early util
       uses: coq-community/docker-coq-action@v1
       with: