Skip to content
CI

Don't try to clobber glob files with ambiguous time stamps that fail to build #2092

Sign in to view logs

Don't try to clobber glob files with ambiguous time stamps that fail to build

Don't try to clobber glob files with ambiguous time stamps that fail to build #2092

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

build (3.6, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
succeeded Oct 18, 2024 in 16m 49s