Status Job Pipeline Stage Name Timing Coverage
failed #14457
master
f2534449
fp-timing
#9884 by Jonas Kastberg's avatar build build-coq.8.6.1

failed #14456
master
f2534449
fp-timing
#9884 by Jonas Kastberg's avatar build build-coq.8.7.0

canceled #14452
master
1e938dbf
fp-timing
#9882 by Jonas Kastberg's avatar build_more build-coq.8.7.dev

canceled #14451
master
1e938dbf
#9882 by Jonas Kastberg's avatar deploy reverse-deps

canceled #14450
master
1e938dbf
#9882 by Jonas Kastberg's avatar deploy opam

canceled #14449
master
1e938dbf
fp-timing
#9882 by Jonas Kastberg's avatar build build-coq.8.6.1

canceled #14448
master
1e938dbf
fp-timing
#9882 by Jonas Kastberg's avatar build build-coq.8.7.0

skipped #10388
master
9ff91ebf
fp-timing
#7811 by Jonas Kastberg's avatar build_more build-coq.8.7.dev
skipped #10387
master
9ff91ebf
#7811 by Jonas Kastberg's avatar deploy reverse-deps
skipped #10386
master
9ff91ebf
#7811 by Jonas Kastberg's avatar deploy opam
failed #10385
master
9ff91ebf
fp-timing
#7811 by Jonas Kastberg's avatar build build-coq.8.6.1

failed #10384
master
9ff91ebf
fp-timing
#7811 by Jonas Kastberg's avatar build build-coq.8.7.0

skipped #8787
master
38cc4832
fp-timing
#6999 by Jonas Kastberg's avatar build_more build-coq.8.7.dev
skipped #8786
master
38cc4832
#6999 by Jonas Kastberg's avatar deploy reverse-deps
skipped #8785
master
38cc4832
#6999 by Jonas Kastberg's avatar deploy opam
failed #8784
master
38cc4832
fp-timing
#6999 by Jonas Kastberg's avatar build build-coq.8.6.1

failed #8783
master
38cc4832
fp-timing
#6999 by Jonas Kastberg's avatar build build-coq.8.7.0

canceled #8779
master
4ba123ff
fp-timing
#6998 by Jonas Kastberg's avatar build_more build-coq.8.7.dev

canceled #8778
master
4ba123ff
#6998 by Jonas Kastberg's avatar deploy reverse-deps

canceled #8777
master
4ba123ff
#6998 by Jonas Kastberg's avatar deploy opam

canceled #8776
master
4ba123ff
fp-timing
#6998 by Jonas Kastberg's avatar build build-coq.8.6.1

canceled #8775
master
4ba123ff
fp-timing
#6998 by Jonas Kastberg's avatar build build-coq.8.7.0

skipped #7234
master
953bbe8f
fp-timing
#6197 by Jonas Kastberg's avatar build_more build-coq.8.7.dev
skipped #7233
master
953bbe8f
#6197 by Jonas Kastberg's avatar deploy reverse-deps
skipped #7232
master
953bbe8f
#6197 by Jonas Kastberg's avatar deploy opam
failed #7231
master
953bbe8f
fp-timing
#6197 by Jonas Kastberg's avatar build build-coq.8.6.1

failed #7230
master
953bbe8f
fp-timing
#6197 by Jonas Kastberg's avatar build build-coq.8.7.0

skipped #7108
master
6dfdb757
fp-timing
#6133 by Jonas Kastberg's avatar build_more build-coq.8.7.dev
skipped #7107
master
6dfdb757
#6133 by Jonas Kastberg's avatar deploy reverse-deps
skipped #7106
master
6dfdb757
#6133 by Jonas Kastberg's avatar deploy opam