Skip to content
CI

Hack to work around lack of installed .glob #2096

Sign in to view logs

Hack to work around lack of installed .glob

Hack to work around lack of installed .glob #2096

build (3.11, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)

build (3.11, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
succeeded Oct 18, 2024 in 16m 42s