Status Job Pipeline Stage Name Coverage
passed #14993
gen_proofmode
38ba379f
fp
#10093 by Ralf Jung's avatar build build-coq.8.7.1

05:27

passed #14992
gen_proofmode
38ba379f
fp
#10093 by Ralf Jung's avatar build build-coq.8.7.2

05:24

passed #14991
gen_proofmode
38ba379f
fp-timing
#10093 by Ralf Jung's avatar build build-coq.8.8.0

04:56

passed #14990
gen_proofmode
38ba379f
fp
#10093 by Ralf Jung's avatar build build-coq.8.8.dev

06:43

passed #14989
gen_proofmode
38ba379f
fp
#10093 by Ralf Jung's avatar build build-coq.dev

31:44

passed #14988
mtac2-tt
c5ffd28c
fp
#10092 by Ralf Jung's avatar build build-coq.8.7.0

14:22

passed #14987
mtac2-tt
c5ffd28c
fp-timing
#10092 by Ralf Jung's avatar build build-coq.8.7.1

04:26

passed #14986
mtac2-tt
c5ffd28c
fp
#10092 by Ralf Jung's avatar build build-coq.8.7.2

13:21

passed #14985
master
6bb2f803
fp
#10091 by Ralf Jung's avatar build build-coq.8.7.0

08:57

passed #14984
master
6bb2f803
fp
#10091 by Ralf Jung's avatar build build-coq.8.7.1

04:55

passed #14983
master
6bb2f803
fp-timing
#10091 by Ralf Jung's avatar build build-coq.8.7.2

04:06

passed #14982
master
6bb2f803
fp
#10091 by Ralf Jung's avatar build build-coq.8.8.0

09:46

passed #14981
master
6bb2f803
fp
#10091 by Ralf Jung's avatar build build-coq.dev

24:30

passed #14979
ci/stability
2f7efe5a
fp-timing
#10089 by Ralf Jung's avatar build build-coq.8.8.0

05:00

passed #14978
ci/stability
787918fb
fp-timing
#10088 by Ralf Jung's avatar build build-coq.8.8.0

04:58

passed #14977
ci/stability
4f9fa93e
fp-timing
#10087 by Ralf Jung's avatar build build-coq.8.8.0

04:59

passed #14976
ci/stability
ce3434f0
fp-timing
#10086 by Ralf Jung's avatar build build-coq.8.8.0

04:54

passed #14975
ci/stability
61e8136b
fp-timing
#10085 by Ralf Jung's avatar build build-coq.8.8.0

04:54

passed #14974
ci/stability
6d1e320f
fp-timing
#10083 by Ralf Jung's avatar build build-coq.8.8.0

04:52

passed #14973
ci/stability
e424c41a
fp-timing
#10082 by Ralf Jung's avatar build build-coq.8.8.0

04:52

canceled #14972
ci/stability
1482901f
fp
#10081 by Ralf Jung's avatar build build-coq.8.7.1

00:22

passed #14971
ci/stability
1482901f
fp
#10081 by Ralf Jung's avatar build build-coq.8.7.2

11:40

passed #14970
ci/stability
1482901f
fp-timing
#10081 by Ralf Jung's avatar build build-coq.8.8.0

04:57

passed #14969
ci/stability
1482901f
fp
#10081 by Ralf Jung's avatar build build-coq.8.8.dev

06:48

passed #14968
ci/stability
1482901f
fp
#10081 by Ralf Jung's avatar build build-coq.dev

30:50

passed #14967
ci/stability
96107d33
fp
#10080 by Ralf Jung's avatar build build-coq.8.7.1

06:12

passed #14966
ci/stability
96107d33
fp
#10080 by Ralf Jung's avatar build build-coq.8.7.2

05:05

passed #14965
ci/stability
96107d33
fp-timing
#10080 by Ralf Jung's avatar build build-coq.8.8.0

04:57

passed #14964
ci/stability
96107d33
fp
#10080 by Ralf Jung's avatar build build-coq.8.8.dev

05:29

passed #14963
ci/stability
96107d33
fp
#10080 by Ralf Jung's avatar build build-coq.dev

18:02