Status Job Pipeline Stage Name Timing Coverage
passed #57355
master
0072d1d8
fp
#24574 by Ralf Jung's avatar build build-coq.8.9.1

00:08:41

passed #57354
master
0072d1d8
fp
#24574 by Ralf Jung's avatar build build-coq.8.10.2

00:09:07

passed #57353
master
0072d1d8
fp-timing
#24574 by Ralf Jung's avatar build build-coq.8.11.0

00:07:10

passed #57352
master
0072d1d8
fp
#24574 by Ralf Jung's avatar build build-coq.8.11.dev

00:15:50

passed #57333
master
55283d57
fp
#24565 by Ralf Jung's avatar build build-coq.8.8.2

00:10:02

passed #57332
master
55283d57
fp
#24565 by Ralf Jung's avatar build build-coq.8.9.1

00:10:24

passed #57331
master
55283d57
fp
#24565 by Ralf Jung's avatar build build-coq.8.10.2

00:10:58

passed #57330
master
55283d57
fp-timing
#24565 by Ralf Jung's avatar build build-coq.8.11.0

00:08:36

passed #57329
master
55283d57
fp
#24565 by Ralf Jung's avatar build build-coq.8.11.dev

00:18:16

failed #57269
master
802035a5
fp
#24555 by iris-dev's avatar build build-stdpp.dev-coq.dev

00:15:03

failed #57268
master
802035a5
fp
#24555 by iris-dev's avatar build build-stdpp.dev-coq.8.11.0

00:10:13

passed #57117
master
802035a5
fp
#24520 by iris-dev's avatar build build-stdpp.dev-coq.dev

00:21:08

passed #57116
master
802035a5
fp
#24520 by iris-dev's avatar build build-stdpp.dev-coq.8.11.0

00:12:44

passed #57102
master
802035a5
fp
#24506 by Robbert's avatar build build-coq.8.8.2

00:08:59

passed #57101
master
802035a5
fp
#24506 by Robbert's avatar build build-coq.8.9.1

00:09:43

passed #57100
master
802035a5
fp
#24506 by Robbert's avatar build build-coq.8.10.2

00:10:13

passed #57099
master
802035a5
fp-timing
#24506 by Robbert's avatar build build-coq.8.11.0

00:07:43

passed #57098
master
802035a5
fp
#24506 by Robbert's avatar build build-coq.8.11.dev

00:16:34

passed #57095
master
40c0674a
fp
#24503 by Robbert's avatar build build-coq.8.8.2

00:08:49

passed #57094
master
40c0674a
fp
#24503 by Robbert's avatar build build-coq.8.9.1

00:09:45

passed #57093
master
40c0674a
fp
#24503 by Robbert's avatar build build-coq.8.10.2

00:10:10

passed #57092
master
40c0674a
fp-timing
#24503 by Robbert's avatar build build-coq.8.11.0

00:07:36

passed #57091
master
40c0674a
fp
#24503 by Robbert's avatar build build-coq.8.11.dev

00:16:33

passed #57061
master
4815e68e
fp
#24498 by iris-dev's avatar build build-stdpp.dev-coq.dev

00:20:47

passed #57060
master
4815e68e
fp
#24498 by iris-dev's avatar build build-stdpp.dev-coq.8.11.0

00:10:52

passed #57024
master
4815e68e
fp
#24482 by iris-dev's avatar build build-stdpp.dev-coq.dev

00:20:14

passed #57023
master
4815e68e
fp
#24482 by iris-dev's avatar build build-stdpp.dev-coq.8.11.0

00:11:02

passed #56987
ci/ralf/retime
4815e68e
fp
#24454 by Ralf Jung's avatar build build-coq.8.8.2

00:08:54

passed #56986
ci/ralf/retime
4815e68e
fp
#24454 by Ralf Jung's avatar build build-coq.8.9.1

00:09:41

passed #56985
ci/ralf/retime
4815e68e
fp
#24454 by Ralf Jung's avatar build build-coq.8.10.2

00:10:17