diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 1cd384e..788ab3a 100644
--- a/.github/workflows/coq.yml
+++ b/.github/workflows/coq.yml
@@ -23,6 +23,7 @@ jobs:
           custom_script: |
             startGroup "Install dependencies"
               opam install -y --deps-only CoqOfPython/coq-of-python.opam
+              sudo ln -s `which python3` /usr/bin/python
             endGroup
             startGroup "Set the rights"
               sudo chown -R $(whoami) .