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