Status Job Pipeline Stage Name Coverage
passed #21105
ci/debug
84444c51
fp
#13334 by Ralf Jung's avatar build build-coq.8.7.1

00:05:23

passed #21104
ci/debug
84444c51
fp
#13334 by Ralf Jung's avatar build build-coq.8.7.2

00:05:41

passed #21103
ci/debug
84444c51
fp-timing
#13334 by Ralf Jung's avatar build build-coq.8.8.0

00:04:52

passed #21102
ci/debug
84444c51
fp
#13334 by Ralf Jung's avatar build build-coq.8.8.1

00:05:25

passed #21101
ci/debug
84444c51
fp
#13334 by Ralf Jung's avatar build build-coq.8.8.2

00:05:35

passed #21100
ci/debug
84444c51
fp-timing
#13334 by Ralf Jung's avatar build build-coq.8.9.dev

00:05:51

passed #21099
ci/debug
84444c51
fp
#13334 by Ralf Jung's avatar build build-coq.dev

00:18:55

passed #21042
master
5c61abfb
fp
#13292 by Robbert's avatar build build-coq.8.7.1

00:05:26

passed #21041
master
5c61abfb
fp
#13292 by Robbert's avatar build build-coq.8.7.2

00:05:32

passed #21040
master
5c61abfb
fp-timing
#13292 by Robbert's avatar build build-coq.8.8.0

00:05:05

passed #21039
master
5c61abfb
fp
#13292 by Robbert's avatar build build-coq.8.8.1

00:05:47

passed #21038
master
5c61abfb
fp
#13292 by Robbert's avatar build build-coq.8.8.2

00:05:43

passed #21037
master
5c61abfb
fp-timing
#13292 by Robbert's avatar build build-coq.8.9.dev

00:05:47

passed #21036
master
5c61abfb
fp
#13292 by Robbert's avatar build build-coq.dev

00:19:08

passed #21009
master
11470212
fp
#13274 by Robbert's avatar build build-coq.8.7.1

00:05:07

passed #21008
master
11470212
fp
#13274 by Robbert's avatar build build-coq.8.7.2

00:05:02

passed #21007
master
11470212
fp-timing
#13274 by Robbert's avatar build build-coq.8.8.0

00:04:53

passed #21006
master
11470212
fp
#13274 by Robbert's avatar build build-coq.8.8.1

00:05:34

passed #21005
master
11470212
fp
#13274 by Robbert's avatar build build-coq.8.8.2

00:05:39

passed #21004
master
11470212
fp-timing
#13274 by Robbert's avatar build build-coq.8.9.dev

00:05:50

passed #21003
master
11470212
fp
#13274 by Robbert's avatar build build-coq.dev

00:08:06

passed #20997
master
d2bd0561
fp
#13270 by Robbert's avatar build build-coq.8.7.1

00:05:10

passed #20996
master
d2bd0561
fp
#13270 by Robbert's avatar build build-coq.8.7.2

00:05:12

passed #20995
master
d2bd0561
fp-timing
#13270 by Robbert's avatar build build-coq.8.8.0

00:04:47

passed #20994
master
d2bd0561
fp
#13270 by Robbert's avatar build build-coq.8.8.1

00:05:28

passed #20993
master
d2bd0561
fp
#13270 by Robbert's avatar build build-coq.8.8.2

00:05:32

passed #20992
master
d2bd0561
fp-timing
#13270 by Robbert's avatar build build-coq.8.9.dev

00:09:39

passed #20991
master
d2bd0561
fp
#13270 by Robbert's avatar build build-coq.dev

00:07:50

passed #20980
master
6784ac89
fp
#13259 by Robbert's avatar build build-coq.8.7.1

00:05:23

passed #20979
master
6784ac89
fp
#13259 by Robbert's avatar build build-coq.8.7.2

00:05:28