From 640a498339efb838c5a3856afdd4adb6c0d50788 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 29 Jul 2024 14:37:36 -0700 Subject: [PATCH] [CI] Update Python to install python-is-python3 --- .github/workflows/coq-docker.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml index 72cc47214..070d0fe8d 100644 --- a/.github/workflows/coq-docker.yml +++ b/.github/workflows/coq-docker.yml @@ -44,7 +44,7 @@ jobs: git config --global --add safe.directory "*" echo '::group::install general dependencies' sudo apt-get update -y - sudo apt-get install -y python python3 + sudo apt-get install -y python-is-python3 python3 eval $(opam env) echo '::endgroup::' echo '::remove-matcher owner=coq-problem-matcher::'