Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.13.2 #147879
master
db7117c6
fp-timing
#54601 by Ralf Jung's avatar build

00:05:12

passed build-coq.8.13.2 #146552
master
56df293c
fp-timing
#54208 by Ralf Jung's avatar build

00:07:26

passed build-coq.8.13.2 #142638
master
ab467d21
fp-timing
#53021 by Ralf Jung's avatar build

00:05:44

passed build-coq.8.13.2 #138157
master
18cfea78
fp-timing
#51460 by Ralf Jung's avatar build

00:05:12

passed build-coq.8.13.2 #138097
master
b64022e6
fp-timing
#51439 by Hai Dang's avatar build

00:04:24

passed build-coq.8.13.2 #138002
master
e1eb0e9a
fp-timing
#51385 by Robbert Krebbers's avatar build

00:05:12

passed build-coq.8.13.2 #137911
master
df922143
fp-timing
#51339 by Robbert Krebbers's avatar build

00:05:12

passed build-coq.8.13.2 #137271
master
821e9ae4
fp-timing
#51192 by Jacques-Henri Jourdan's avatar build

00:04:04

passed build-coq.8.13.2 #137153
master
db826ec7
fp-timing
#51151 by Robbert Krebbers's avatar build

00:05:13

passed build-coq.8.13.2 #136681
master
1fe29c93
fp-timing
#51030 by Ralf Jung's avatar build

00:05:01

passed build-coq.8.13.2 #136435
master
347d7e82
fp-timing
#50922 by Ralf Jung's avatar build

00:04:55

passed build-coq.8.13.2 #136375
master
312b7335
fp-timing
#50907 by Jacques-Henri Jourdan's avatar build

00:04:54

passed build-coq.8.13.2 #135777
master
6bc7e94a
fp-timing
#50774 by Ralf Jung's avatar build

00:05:13

passed build-coq.8.13.2 #135556
master
c579d4ff
fp-timing
#50691 by Robbert Krebbers's avatar build

00:05:13

passed build-coq.8.13.2 #135481
master
8428e732
fp-timing
#50655 by Ralf Jung's avatar build

00:05:11

passed build-coq.8.13.2 #135446
master
70bbfef0
fp-timing
#50636 by Ralf Jung's avatar build

00:05:12

passed build-coq.8.13.2 #135116
master
4d0b5b7c
fp-timing
#50476 by Ralf Jung's avatar build

00:05:11

canceled build-coq.8.13.2 #135115
master
ec4e2d87
fp-timing
#50475 by Ralf Jung's avatar build

passed build-coq.8.13.2 #134438
master
e9b00cc2
fp-timing
#50123 by Hai Dang's avatar build

00:03:55

passed build-coq.8.13.2 #134435
master
cc8f2f81
fp-timing
#50120 by Hai Dang's avatar build

00:03:56

passed build-coq.8.13.2 #134415
master
3430779e
fp-timing
#50102 by Hai Dang's avatar build

00:03:51

passed build-coq.8.13.2 #132866
master
bfb4c77a
fp-timing
#49342 by Ralf Jung's avatar build

00:05:08

passed build-coq.8.13.2 #132331
master
eec904c9
fp-timing
#49145 by Ralf Jung's avatar build

00:05:17

passed build-coq.8.13.2 #131832
master
a5f43c0e
fp-timing
#48891 by Ralf Jung's avatar build

00:05:09

passed build-coq.8.13.2 #131642
master
7e31b76f
fp-timing
#48791 by Ralf Jung's avatar build

00:05:05

passed build-coq.8.13.2 #130974
master
48ff40e8
fp-timing
#48448 by Ralf Jung's avatar build

00:05:55

passed build-coq.8.13.2 #130320
master
e77a4b30
fp-timing
#48110 by Ralf Jung's avatar build

00:05:03

passed build-coq.8.13.2 #130007
master
f135c9b8
fp-timing
#47943 by Ralf Jung's avatar build

00:05:13

passed build-coq.8.13.2 #129143
master
d8daef28
fp-timing
#47655 by Ralf Jung's avatar build

00:03:55

passed build-coq.8.13.2 #128732
master
183acc3a
fp-timing
#47466 by Ralf Jung's avatar build

00:03:45