Status Job Pipeline Stage Name Coverage
passed #16997
master
f891015e
fp
#11242 by Ralf Jung's avatar build build-coq.8.7.1

20:07

passed #16996
master
f891015e
fp
#11242 by Ralf Jung's avatar build build-coq.8.7.2

20:45

passed #16995
master
f891015e
fp-timing
#11242 by Ralf Jung's avatar build build-coq.8.8.0

19:38

passed #16994
master
f891015e
fp
#11242 by Ralf Jung's avatar build build-coq.8.8.1

20:40

passed #16993
master
f891015e
fp
#11242 by Ralf Jung's avatar build build-coq.dev

20:27

passed #16973
master
fedc7d8a
fp
#11223 by Robbert's avatar build build-coq.8.7.1

12:22

passed #16972
master
fedc7d8a
fp
#11223 by Robbert's avatar build build-coq.8.7.2

13:46

passed #16971
master
fedc7d8a
fp-timing
#11223 by Robbert's avatar build build-coq.8.8.0

19:30

passed #16970
master
fedc7d8a
fp
#11223 by Robbert's avatar build build-coq.8.8.1

13:55

passed #16969
master
fedc7d8a
fp
#11223 by Robbert's avatar build build-coq.dev

32:44

passed #16834
mtac2-tt
93e93a80
fp
#11113 by Beta Ziliani's avatar build build-coq.8.7.0

13:00

passed #16833
mtac2-tt
93e93a80
fp-timing
#11113 by Beta Ziliani's avatar build build-coq.8.7.1

05:44

passed #16832
mtac2-tt
93e93a80
fp
#11113 by Beta Ziliani's avatar build build-coq.8.7.2

05:43

canceled #16831
mtac2-tt
5243c73d
fp
#11112 by Janno's avatar build build-coq.8.7.0

02:30

passed #16830
mtac2-tt
5243c73d
fp-timing
#11112 by Janno's avatar build build-coq.8.7.1

05:40

canceled #16829
mtac2-tt
5243c73d
fp
#11112 by Janno's avatar build build-coq.8.7.2

02:35

canceled #16828
mtac2-tt
06b21a39
fp
#11111 by Janno's avatar build build-coq.8.7.0

00:24

passed #16827
mtac2-tt
06b21a39
fp-timing
#11111 by Janno's avatar build build-coq.8.7.1

05:44

canceled #16826
mtac2-tt
06b21a39
fp
#11111 by Janno's avatar build build-coq.8.7.2

00:30

passed #16805
master
063be1ab
fp
#11099 by Ralf Jung's avatar build build-coq.8.7.1

12:39

passed #16804
master
063be1ab
fp
#11099 by Ralf Jung's avatar build build-coq.8.7.2

14:21

passed #16803
master
063be1ab
fp-timing
#11099 by Ralf Jung's avatar build build-coq.8.8.0

12:03

passed #16802
master
063be1ab
fp
#11099 by Ralf Jung's avatar build build-coq.8.8.1

20:43

passed #16801
master
063be1ab
fp
#11099 by Ralf Jung's avatar build build-coq.dev

33:19

canceled #16788
master
9bdb137f
fp
#11092 by Ralf Jung's avatar build build-coq.8.8.1

09:04

passed #16783
master
9bdb137f
fp
#11092 by Ralf Jung's avatar build build-coq.8.7.1

04:20

passed #16782
master
9bdb137f
fp
#11092 by Ralf Jung's avatar build build-coq.8.7.2

04:33

passed #16781
master
9bdb137f
fp-timing
#11092 by Ralf Jung's avatar build build-coq.8.8.0

04:05

failed #16780
master
9bdb137f
fp
#11092 by Ralf Jung's avatar build build-coq.8.8.1

00:18

passed #16779
master
9bdb137f
fp
#11092 by Ralf Jung's avatar build build-coq.dev

19:45