Status Job Pipeline Stage Name Timing Coverage
passed #59689
master
5e832e8c
fp
#25455 by Ralf Jung's avatar build build-coq.8.10.2

00:05:12

passed #59688
master
5e832e8c
fp-timing
#25455 by Ralf Jung's avatar build build-coq.8.11.0

00:04:30

passed #59687
master
5e832e8c
fp
#25455 by Ralf Jung's avatar build build-coq.dev

00:10:23

passed #59387
master
9f7e8457
fp
#25333 by Ralf Jung's avatar build build-coq.8.10.2

00:05:25

passed #59386
master
9f7e8457
fp-timing
#25333 by Ralf Jung's avatar build build-coq.8.11.0

00:04:41

passed #59385
master
9f7e8457
fp
#25333 by Ralf Jung's avatar build build-coq.dev

00:10:35

passed #59016
master
3a2bc1bd
fp
#25170 by Hai Dang's avatar build build-coq.8.10.2

00:04:20

passed #59015
master
3a2bc1bd
fp-timing
#25170 by Hai Dang's avatar build build-coq.8.11.0

00:03:58

passed #59014
master
3a2bc1bd
fp
#25170 by Hai Dang's avatar build build-coq.dev

00:11:56

passed #58667
master
1f7071c2
fp
#25062 by Ralf Jung's avatar build build-coq.8.10.2

00:04:59

passed #58666
master
1f7071c2
fp-timing
#25062 by Ralf Jung's avatar build build-coq.8.11.0

00:04:36

passed #58665
master
1f7071c2
fp
#25062 by Ralf Jung's avatar build build-coq.dev

00:10:07

passed #58590
master
32fc4de2
fp
#25028 by Ralf Jung's avatar build build-coq.8.10.2

00:06:54

passed #58589
master
32fc4de2
fp-timing
#25028 by Ralf Jung's avatar build build-coq.8.11.0

00:04:28

passed #58588
master
32fc4de2
fp
#25028 by Ralf Jung's avatar build build-coq.dev

00:12:43

passed #57341
master
3b3fad93
fp
#24567 by Ralf Jung's avatar build build-coq.8.10.2

00:12:38

passed #57340
master
3b3fad93
fp-timing
#24567 by Ralf Jung's avatar build build-coq.8.11.0

00:10:49

passed #57339
master
3b3fad93
fp
#24567 by Ralf Jung's avatar build build-coq.dev

00:15:02

passed #56236
master
031e4e09
fp
#24134 by Ralf Jung's avatar build build-coq.8.10.2

00:03:20

passed #56235
master
031e4e09
fp-timing
#24134 by Ralf Jung's avatar build build-coq.8.11.0

00:03:12

passed #56234
master
031e4e09
fp
#24134 by Ralf Jung's avatar build build-coq.dev

00:11:02

passed #56081
master
0fd4ce5c
fp
#24052 by Ralf Jung's avatar build build-coq.8.10.2

00:06:01

passed #56080
master
0fd4ce5c
fp-timing
#24052 by Ralf Jung's avatar build build-coq.8.11.0

00:04:38

passed #55853
master
469fe863
fp
#23972 by Ralf Jung's avatar build build-coq.8.10.2

00:11:56

passed #55834
master
469fe863
fp-timing
#23972 by Ralf Jung's avatar build build-coq.8.11.0

00:10:19

failed #55827
master
469fe863
fp
#23972 by Ralf Jung's avatar build build-coq.8.10.2

00:06:59

canceled #55826
master
469fe863
fp-timing
#23972 by Ralf Jung's avatar build build-coq.8.11.0

00:01:18

canceled #55817
master
239bca74
fp
#23969 by Ralf Jung's avatar build build-coq.8.10.2

00:02:20

canceled #55816
master
239bca74
fp-timing
#23969 by Ralf Jung's avatar build build-coq.8.11.0

00:02:18

passed #54721
master
e279eacd
fp
#23477 by Ralf Jung's avatar build build-coq.8.9.1

00:04:10