Update docker-coq.yml: remove needless code

Author: JasonGross

.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: