install python

formal-land · May 21, 2024 · 2134939 · 2134939
1 parent bd3ebf1
commit 2134939
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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) .