Status Job Pipeline Stage Name Coverage
passed #10932
mtac2-tt
58e69fa1
fp
#8099 by Jan-Oliver Kaiser's avatar build build-coq.8.7.0

05:09

passed #10931
mtac2-tt
58e69fa1
fp-timing
#8099 by Jan-Oliver Kaiser's avatar build build-coq.8.7.1

11:43

passed #10930
mtac2-tt
58e69fa1
fp
#8099 by Jan-Oliver Kaiser's avatar build build-coq.8.7.2

11:08

passed #10926
ci/ralf/atomic
05418a07
fp
#8097 by Ralf Jung's avatar build build-coq.8.7.1

04:16

passed #10925
ci/ralf/atomic
05418a07
fp-timing
#8097 by Ralf Jung's avatar build build-coq.8.7.2

03:58

passed #10924
ci/ralf/atomic
05418a07
fp-timing
#8097 by Ralf Jung's avatar build build-coq.8.8.0

03:59

passed #10923
ci/ralf/atomic
05418a07
fp
#8097 by Ralf Jung's avatar build build-coq.dev

23:03

passed #10911
master
be553c16
fp
#8090 by Ralf Jung's avatar build build-stdpp.dev

08:33

passed #10900
ci/ralf/atomic
2339f13b
fp
#8079 by Ralf Jung's avatar build build-coq.8.7.1

04:16

passed #10899
ci/ralf/atomic
2339f13b
fp-timing
#8079 by Ralf Jung's avatar build build-coq.8.7.2

03:52

passed #10898
ci/ralf/atomic
2339f13b
fp-timing
#8079 by Ralf Jung's avatar build build-coq.8.8.0

03:55

passed #10897
ci/ralf/atomic
2339f13b
fp
#8079 by Ralf Jung's avatar build build-coq.dev

24:11

passed #10896
gen_proofmode
78dedb27
fp
#8078 by Ralf Jung's avatar build build-coq.8.7.1

04:04

passed #10895
gen_proofmode
78dedb27
fp-timing
#8078 by Ralf Jung's avatar build build-coq.8.7.2

04:00

passed #10894
gen_proofmode
78dedb27
fp-timing
#8078 by Ralf Jung's avatar build build-coq.8.8.0

04:00

passed #10893
gen_proofmode
78dedb27
fp
#8078 by Ralf Jung's avatar build build-coq.dev

14:06

passed #10888
gen_proofmode
d3412460
fp
#8075 by Ralf Jung's avatar build build-coq.8.7.1

09:40

passed #10887
gen_proofmode
d3412460
fp-timing
#8075 by Ralf Jung's avatar build build-coq.8.7.2

04:01

passed #10886
gen_proofmode
d3412460
fp-timing
#8075 by Ralf Jung's avatar build build-coq.8.8.0

03:58

passed #10885
gen_proofmode
d3412460
fp
#8075 by Ralf Jung's avatar build build-coq.dev

23:41

passed #10868
master
be553c16
fp
#8070 by Ralf Jung's avatar build build-stdpp.dev

10:26

passed #10841
master
be553c16
fp
#8050 by Ralf Jung's avatar build build-coq.8.7.0

08:10

passed #10840
master
be553c16
fp
#8050 by Ralf Jung's avatar build build-coq.8.7.1

03:51

passed #10839
master
be553c16
fp-timing
#8050 by Ralf Jung's avatar build build-coq.8.7.2

03:34

passed #10838
master
be553c16
fp
#8050 by Ralf Jung's avatar build build-coq.8.8.0

03:51

passed #10837
master
be553c16
fp
#8050 by Ralf Jung's avatar build build-coq.dev

10:48

failed #10835
gen_proofmode
84ee5362
fp
#8041 by Ralf Jung's avatar build build-coq.8.7.1

04:15

canceled #10834
gen_proofmode
84ee5362
fp-timing
#8041 by Ralf Jung's avatar build build-coq.8.7.2

canceled #10833
gen_proofmode
84ee5362
fp-timing
#8041 by Ralf Jung's avatar build build-coq.8.8.0

passed #10829
gen_proofmode
55711e8e
fp
#8045 by Ralf Jung's avatar build build-coq.8.7.1

08:40