Code

ci: python -> python3#2036

Code

Merged

Alizter merged 5 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/ci__python____python3Alizter/HoTT:ps/rr/ci__python____python3Copy head branch name to clipboardJul 31, 2024

+9-4

Commits

Commits on Jul 30, 2024

• ci: python -> python3

  Show description for 5e1940f
  Alizter

  committed
  5e1940f

• ci: try to create a virtual python environment for alectryon job

  Show description for faab940
  Alizter

  committed
  faab940

• ci: move workaround for permissions earlier

  jdchristensen

  committed
  d2bed00

• Install python-is-python3

  Show description for 7c4f685
  

  jdchristensen

  and

  JasonGross

  authored
  7c4f685

• ci: install python3-venv

  jdchristensen

  committed
  e5ea9cf