Skip to content

GitLab

C
coq-stdpp
Status Job Pipeline Stage Name Timing Coverage
canceled #15391
master
a05d1085
fp
#10306 by Janno's avatar build build-coq.8.6.0

canceled #15390
master
a05d1085
fp
#10306 by Janno's avatar build build-coq.8.6.1

canceled #15389
master
a05d1085
fp
#10306 by Janno's avatar build build-coq.8.7.0

canceled #15388
master
a05d1085
fp
#10306 by Janno's avatar build build-coq.8.7.1

canceled #15387
master
a05d1085
fp-timing
#10306 by Janno's avatar build build-coq.8.7.2

canceled #15386
master
a05d1085
fp-timing
#10306 by Janno's avatar build build-coq.8.8.0

canceled #15385
master
a05d1085
fp
#10306 by Janno's avatar build build-coq.dev

failed #15381
master
bfef1716
fp
#10303 by Janno's avatar build build-coq.8.6.0

failed #15380
master
bfef1716
fp
#10303 by Janno's avatar build build-coq.8.6.1

failed #15379
master
bfef1716
fp
#10303 by Janno's avatar build build-coq.8.7.0

failed #15378
master
bfef1716
fp
#10303 by Janno's avatar build build-coq.8.7.1

failed #15377
master
bfef1716
fp-timing
#10303 by Janno's avatar build build-coq.8.7.2

failed #15376
master
bfef1716
fp-timing
#10303 by Janno's avatar build build-coq.8.8.0

failed #15375
master
bfef1716
fp
#10303 by Janno's avatar build build-coq.dev