Status Job Pipeline Stage Name Timing Coverage
failed #7105
master
6dfdb757
fp-timing
#6133 by Jonas Kastberg's avatar build build-coq.8.6.1

failed #7104
master
6dfdb757
fp-timing
#6133 by Jonas Kastberg's avatar build build-coq.8.7.0

skipped #7079
master
c5ae06a7
fp-timing
#6114 by Jonas Kastberg's avatar build_more build-coq.8.7.dev
skipped #7078
master
c5ae06a7
#6114 by Jonas Kastberg's avatar deploy reverse-deps
skipped #7077
master
c5ae06a7
#6114 by Jonas Kastberg's avatar deploy opam
failed #7076
master
c5ae06a7
fp-timing
#6114 by Jonas Kastberg's avatar build build-coq.8.6.1

failed #7075
master
c5ae06a7
fp-timing
#6114 by Jonas Kastberg's avatar build build-coq.8.7.0

skipped #7050
master
0e3b8477
fp-timing
#6105 by Jonas Kastberg's avatar build_more build-coq.8.7.dev
skipped #7049
master
0e3b8477
#6105 by Jonas Kastberg's avatar deploy reverse-deps
skipped #7048
master
0e3b8477
#6105 by Jonas Kastberg's avatar deploy opam
failed #7047
master
0e3b8477
fp-timing
#6105 by Jonas Kastberg's avatar build build-coq.8.6.1

failed #7046
master
0e3b8477
fp-timing
#6105 by Jonas Kastberg's avatar build build-coq.8.7.0

skipped #6851
master
cea18c3f
fp-timing
#5992 by Jonas Kastberg's avatar build_more build-coq.8.7.dev
skipped #6850
master
cea18c3f
#5992 by Jonas Kastberg's avatar deploy reverse-deps
skipped #6849
master
cea18c3f
#5992 by Jonas Kastberg's avatar deploy opam
failed #6848
master
cea18c3f
fp-timing
#5992 by Jonas Kastberg's avatar build build-coq.8.6.1

failed #6847
master
cea18c3f
fp-timing
#5992 by Jonas Kastberg's avatar build build-coq.8.7.0

skipped #6680
master
23e24474
fp-timing
#5929 by Jonas Kastberg's avatar build_more build-coq.8.7.dev
skipped #6679
master
23e24474
#5929 by Jonas Kastberg's avatar deploy reverse-deps
skipped #6678
master
23e24474
#5929 by Jonas Kastberg's avatar deploy opam
failed #6677
master
23e24474
fp-timing
#5929 by Jonas Kastberg's avatar build build-coq.8.6.1

failed #6676
master
23e24474
fp-timing
#5929 by Jonas Kastberg's avatar build build-coq.8.7.0