Skip to content
Coq

build(deps): bump bedrock2 from b2cd2ba to dca97a1 (#138) #735

Sign in to view logs

build(deps): bump bedrock2 from b2cd2ba to dca97a1 (#138)

build(deps): bump bedrock2 from b2cd2ba to dca97a1 (#138) #735

Triggered via push January 31, 2025 13:15
@andres-erbsenandres-erbsen
pushed 041455f
master
Status Failure
Total duration 4m 5s
Artifacts –

coq.yml

on: push
Matrix: build
coq-check-all
0s
coq-check-all
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build (master, coq libcoq-core-ocaml-dev, ppa:jgross-h/coq-master-daily)
Process completed with exit code 2.
coq-check-all
Process completed with exit code 1.