Skip to content
CI

Hack to work around lack of installed .glob (#236) #2099

Sign in to view logs

Hack to work around lack of installed .glob (#236)

Hack to work around lack of installed .glob (#236) #2099

build (3.7, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)

build (3.7, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
succeeded Oct 19, 2024 in 17m 1s