Skip to content

Commit

Permalink
use python-is-python3 (#1938)
Browse files Browse the repository at this point in the history
  • Loading branch information
JasonGross authored Jul 30, 2024
1 parent 3683c2c commit 49faca9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion etc/ci/github-actions-docker-make.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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::'
Expand Down

0 comments on commit 49faca9

Please sign in to comment.