Install python-is-python3 in github-actions-docker-make.sh

mit-plv · Sep 21, 2024 · 39d8e29 · 39d8e29
1 parent 8404184
commit 39d8e29
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/etc/ci/github-actions-docker-make.sh b/etc/ci/github-actions-docker-make.sh
@@ -14,7 +14,7 @@ sudo chmod -R a=u .
 git config --global --add safe.directory "*"
 echo '::group::install general dependencies'
 sudo apt-get update -y
-sudo apt-get install -y python python3 bsdmainutils ${EXTRA_PACKAGES}
+sudo apt-get install -y python-is-python3 python3 bsdmainutils ${EXTRA_PACKAGES}
 eval $(opam env)
 echo '::endgroup::'
 echo '::remove-matcher owner=coq-problem-matcher::'