Skip to content
CI

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

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 #2090

Annotations

2 errors

build (3.11, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)

build (3.11, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
cancelled Oct 18, 2024 in 49s