Skip to content
CI

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

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

Annotations

1 error

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

build (3.8, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
failed Oct 18, 2024 in 16m 14s