Status Job Pipeline Stage Name Timing Coverage
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

passed #89088
master
1a06d698
fp
#33599 by Ralf Jung's avatar build build-coq.8.11.2

00:05:32

passed #89087
master
1a06d698
fp-timing
#33599 by Ralf Jung's avatar build build-coq.8.12.0

00:05:07

passed #88951
master
d76571ee
fp
#33556 by Hai Dang's avatar build build-coq.8.11.2

00:03:45

passed #88950
master
d76571ee
fp-timing
#33556 by Hai Dang's avatar build build-coq.8.12.0

00:03:57

passed #88761
master
b2105b84
fp
#33484 by Ralf Jung's avatar build build-coq.8.11.2

00:04:07

passed #88760
master
b2105b84
fp-timing
#33484 by Ralf Jung's avatar build build-coq.8.12.0

00:04:30

passed #88735
master
af7ce89c
fp
#33472 by Ralf Jung's avatar build build-coq.8.11.2

00:06:03

passed #88734
master
af7ce89c
fp-timing
#33472 by Ralf Jung's avatar build build-coq.8.12.0

00:05:23

passed #88606
master
dd50c655
fp
#33435 by Ralf Jung's avatar build build-coq.8.11.2

00:03:47

passed #88605
master
dd50c655
fp-timing
#33435 by Ralf Jung's avatar build build-coq.8.12.0

00:03:59