Skip to content

[CI] Update Python to install python-is-python3 (#158) #726

[CI] Update Python to install python-is-python3 (#158)

[CI] Update Python to install python-is-python3 (#158) #726

build (8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-ocaml-4-11)

succeeded Jul 29, 2024 in 9m 58s