From 8404184f857ebdf0c9d771d2e61eda0a95362c1e Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 20 Sep 2024 14:38:01 -0700 Subject: [PATCH] python-is-python3, not python3-is-python --- .github/workflows/docker-coq.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docker-coq.yml b/.github/workflows/docker-coq.yml index 73d183425c..d6b1a3a94f 100644 --- a/.github/workflows/docker-coq.yml +++ b/.github/workflows/docker-coq.yml @@ -56,7 +56,7 @@ jobs: #endGroup startGroup 'install dependencies' sudo apt-get -o Acquire::Retries=30 update -q - sudo apt-get -o Acquire::Retries=30 install python3-is-python -y --allow-unauthenticated + 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