Status Job Pipeline Stage Name Timing Coverage
passed #98332
master
b0b60193
fp
#36109 by Robbert's avatar build build-coq.8.10.2

00:04:53

passed #98331
master
b0b60193
fp
#36109 by Robbert's avatar build build-coq.8.11.2

00:04:40

passed #98330
master
b0b60193
fp-timing
#36109 by Robbert's avatar build build-coq.8.12.0

00:04:07

passed #98329
master
b0b60193
fp
#36109 by Robbert's avatar build build-coq.dev

00:10:16

passed #97658
master
c6e5d0be
fp
#35842 by Ralf Jung's avatar build build-coq.8.10.2

00:04:57

passed #97657
master
c6e5d0be
fp
#35842 by Ralf Jung's avatar build build-coq.8.11.2

00:04:47

passed #97656
master
c6e5d0be
fp-timing
#35842 by Ralf Jung's avatar build build-coq.8.12.0

00:04:17

passed #97655
master
c6e5d0be
fp
#35842 by Ralf Jung's avatar build build-coq.dev

00:10:59

passed #97237
master
7f934a94
fp
#35730 by Ralf Jung's avatar build build-coq.8.10.2

00:04:49

passed #97236
master
7f934a94
fp
#35730 by Ralf Jung's avatar build build-coq.8.11.2

00:04:43

passed #97235
master
7f934a94
fp-timing
#35730 by Ralf Jung's avatar build build-coq.8.12.0

00:04:23

passed #97234
master
7f934a94
fp
#35730 by Ralf Jung's avatar build build-coq.dev

00:10:08

passed #96298
master
e9869a38
fp
#35428 by Ralf Jung's avatar build build-coq.8.8.2

00:03:52

passed #96297
master
e9869a38
fp
#35428 by Ralf Jung's avatar build build-coq.8.9.1

00:04:22

passed #96296
master
e9869a38
fp
#35428 by Ralf Jung's avatar build build-coq.8.10.2

00:04:36

passed #96295
master
e9869a38
fp
#35428 by Ralf Jung's avatar build build-coq.8.11.2

00:06:03

passed #96294
master
e9869a38
fp-timing
#35428 by Ralf Jung's avatar build build-coq.8.12.0

00:04:01

passed #96293
master
e9869a38
fp
#35428 by Ralf Jung's avatar build build-coq.dev

00:12:26

passed #96222
master
0ee1418d
fp
#35396 by Ralf Jung's avatar build build-coq.8.8.2

00:04:05

passed #96221
master
0ee1418d
fp
#35396 by Ralf Jung's avatar build build-coq.8.9.1

00:04:28

passed #96220
master
0ee1418d
fp
#35396 by Ralf Jung's avatar build build-coq.8.10.2

00:04:41

passed #96219
master
0ee1418d
fp
#35396 by Ralf Jung's avatar build build-coq.8.11.2

00:05:07

passed #96218
master
0ee1418d
fp-timing
#35396 by Ralf Jung's avatar build build-coq.8.12.0

00:04:16

passed #96217
master
0ee1418d
fp
#35396 by Ralf Jung's avatar build build-coq.dev

00:11:44

passed #96212
ci/ralf/makefile
c1a33c4f
fp
#35394 by Ralf Jung's avatar build build-coq.8.8.2

00:04:10

passed #96211
ci/ralf/makefile
c1a33c4f
fp
#35394 by Ralf Jung's avatar build build-coq.8.9.1

00:05:04

passed #96210
ci/ralf/makefile
c1a33c4f
fp
#35394 by Ralf Jung's avatar build build-coq.8.10.2

00:05:16

passed #96209
ci/ralf/makefile
c1a33c4f
fp
#35394 by Ralf Jung's avatar build build-coq.8.11.2

00:05:05

passed #96208
ci/ralf/makefile
c1a33c4f
fp-timing
#35394 by Ralf Jung's avatar build build-coq.8.12.0

00:04:41

passed #96207
ci/ralf/makefile
c1a33c4f
fp
#35394 by Ralf Jung's avatar build build-coq.dev

00:10:54