Status Job Pipeline Stage Name Timing Coverage
passed #106710
master
74340958
fp
#39266 by Ralf Jung's avatar build build-coq.8.11.2

00:08:50

passed #106709
master
74340958
fp-timing
#39266 by Ralf Jung's avatar build build-coq.8.12.0

00:08:34

passed #101757
master
2d9dd724
fp
#37335 by Ralf Jung's avatar build build-coq.8.11.2

00:05:52

passed #101756
master
2d9dd724
fp-timing
#37335 by Ralf Jung's avatar build build-coq.8.12.0

00:05:13

passed #101755
master
72304b5d
fp
#37334 by Ralf Jung's avatar build build-coq.8.11.2

00:04:30

passed #101754
master
72304b5d
fp-timing
#37334 by Ralf Jung's avatar build build-coq.8.12.0

00:03:55

passed #101578
master
7891e932
fp
#37250 by Ralf Jung's avatar build build-coq.8.11.2

00:10:16

passed #101577
master
7891e932
fp-timing
#37250 by Ralf Jung's avatar build build-coq.8.12.0

00:10:44

passed #99899
master
b186bfe1
fp
#36671 by Robbert's avatar build build-coq.8.11.2

00:06:04

passed #99898
master
b186bfe1
fp-timing
#36671 by Robbert's avatar build build-coq.8.12.0

00:05:13

passed #97665
master
1a4c68cc
fp
#35845 by Ralf Jung's avatar build build-coq.8.11.2

00:06:28

passed #97664
master
1a4c68cc
fp-timing
#35845 by Ralf Jung's avatar build build-coq.8.12.0

00:05:17

passed #95448
master
bb4cbf16
fp
#35139 by Robbert's avatar build build-coq.8.11.2

00:05:31

passed #95447
master
bb4cbf16
fp-timing
#35139 by Robbert's avatar build build-coq.8.12.0

00:05:21

passed #95324
master
378b5e3c
fp
#35083 by Robbert's avatar build build-coq.8.11.2

00:05:50

passed #95323
master
378b5e3c
fp-timing
#35083 by Robbert's avatar build build-coq.8.12.0

00:05:33

passed #94625
master
10e7c49e
fp
#34866 by Ralf Jung's avatar build build-coq.8.11.2

00:14:43

passed #94624
master
10e7c49e
fp-timing
#34866 by Ralf Jung's avatar build build-coq.8.12.0

00:12:39

passed #94124
master
acbd81f4
fp
#34706 by Ralf Jung's avatar build build-coq.8.11.2

00:03:48

passed #94123
master
acbd81f4
fp-timing
#34706 by Ralf Jung's avatar build build-coq.8.12.0

00:04:02

passed #94114
master
24833222
fp
#34703 by Ralf Jung's avatar build build-coq.8.11.2

00:05:39

passed #94113
master
24833222
fp-timing
#34703 by Ralf Jung's avatar build build-coq.8.12.0

00:05:29

passed #94091
master
0071b335
fp
#34693 by Ralf Jung's avatar build build-coq.8.11.2

00:05:01

passed #94090
master
0071b335
fp-timing
#34693 by Ralf Jung's avatar build build-coq.8.12.0

00:05:14

passed #89308
master
ed056390
fp
#33651 by Hai Dang's avatar build build-coq.8.11.2

00:03:46

passed #89307
master
ed056390
fp-timing
#33651 by Hai Dang's avatar build build-coq.8.12.0

00:03:59

passed #89113
master
0de6e4af
fp
#33611 by Hai Dang's avatar build build-coq.8.11.2

00:03:39

passed #89112
master
0de6e4af
fp-timing
#33611 by Hai Dang's avatar build build-coq.8.12.0

00:03:58

failed #89111
master
40a7d770
fp
#33610 by Hai Dang's avatar build build-coq.8.11.2

00:01:32

passed #89110
master
40a7d770
fp-timing
#33610 by Hai Dang's avatar build build-coq.8.12.0

00:03:59