Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.13.2 #199316
basic-dune
482e2beb
fp
#69489 by Paolo G. Giarrusso's avatar build

00:13:15

failed build-coq.8.14.1 #199315
basic-dune
482e2beb
fp
#69489 by Paolo G. Giarrusso's avatar build

00:06:43

passed build-coq.8.13.2 #188906
paolo/fix-461
9851ef8d
fp
#66096 by Paolo G. Giarrusso's avatar build

00:16:42

passed build-coq.8.14.1 #188905
paolo/fix-461
9851ef8d
fp
#66096 by Paolo G. Giarrusso's avatar build

00:19:19

canceled build-coq.8.13.2 #188904
paolo/fix-461
8aa6d9eb
fp
#66095 by Paolo G. Giarrusso's avatar build

00:00:08

canceled build-coq.8.14.1-mr #188903
paolo/fix-461
8aa6d9eb
fp
#66095 by Paolo G. Giarrusso's avatar build

00:00:09

failed build-coq.8.13.2 #188816
paolo/fix-461
09b6a0c3
fp
#66060 by Paolo G. Giarrusso's avatar build

00:06:24

failed build-coq.8.14.1-mr #188815
paolo/fix-461
09b6a0c3
fp
#66060 by Paolo G. Giarrusso's avatar build

00:06:19

passed build-coq.8.13.2 #188814
paolo/fix-461
b7f57848
fp
#66059 by Paolo G. Giarrusso's avatar build

00:07:54

passed build-coq.8.14.1-mr #188813
paolo/fix-461
b7f57848
fp
#66059 by Paolo G. Giarrusso's avatar build

00:07:55

passed build-coq.8.13.2 #188654
paolo/fix-461
ad25eb87
fp
#66020 by Paolo G. Giarrusso's avatar build

00:14:41

passed build-coq.8.14.1-mr #188653
paolo/fix-461
ad25eb87
fp
#66020 by Paolo G. Giarrusso's avatar build

00:15:29

passed build-coq.8.13.2 #186392
stdpp-bump
bfb0142f
fp
#65461 by Paolo G. Giarrusso's avatar build

00:16:20

passed build-coq.8.14.1-mr #186391
stdpp-bump
bfb0142f
fp
#65461 by Paolo G. Giarrusso's avatar build

00:17:18

passed build-coq.8.13.2 #178740
local-instances
1411b0a9
fp
#63582 by Paolo G. Giarrusso's avatar build

00:07:02

passed build-coq.8.14.1-mr #178739
local-instances
1411b0a9
fp
#63582 by Paolo G. Giarrusso's avatar build

00:07:00

passed build-coq.8.13.2 #178691
local-instances
04b066bc
fp
#63560 by Paolo G. Giarrusso's avatar build

00:07:26

passed build-coq.8.14.1-mr #178690
local-instances
04b066bc
fp
#63560 by Paolo G. Giarrusso's avatar build

00:07:18

canceled build-coq.8.13.2 #178689
local-instances
e580bad0
fp
#63559 by Paolo G. Giarrusso's avatar build

00:02:31

canceled build-coq.8.14.1-mr #178688
local-instances
e580bad0
fp
#63559 by Paolo G. Giarrusso's avatar build

00:02:33

canceled build-coq.8.13.2 #178687
local-instances
08610b59
fp
#63558 by Paolo G. Giarrusso's avatar build

00:02:06

canceled build-coq.8.14.1-mr #178686
local-instances
08610b59
fp
#63558 by Paolo G. Giarrusso's avatar build

00:02:07

passed build-coq.8.13.2 #178283
local-instances
52cc8130
fp
#63485 by Paolo G. Giarrusso's avatar build

00:08:28

passed build-coq.8.14.1-mr #178282
local-instances
52cc8130
fp
#63485 by Paolo G. Giarrusso's avatar build

00:08:25

passed build-coq.8.13.2 #178089
local-instances
51e6914e
fp
#63453 by Paolo G. Giarrusso's avatar build

00:07:15

passed build-coq.8.14.1-mr #178088
local-instances
51e6914e
fp
#63453 by Paolo G. Giarrusso's avatar build

00:07:23

passed build-coq.8.13.2 #178027
local-instances
d0f86960
fp
#63442 by Paolo G. Giarrusso's avatar build

00:07:08

passed build-coq.8.14.1-mr #178026
local-instances
d0f86960
fp
#63442 by Paolo G. Giarrusso's avatar build

00:12:44

passed build-coq.8.13.2 #174690
local-instances
3f934cbe
fp
#62760 by Paolo G. Giarrusso's avatar build

00:08:21

passed build-coq.8.14.1-mr #174689
local-instances
3f934cbe
fp
#62760 by Paolo G. Giarrusso's avatar build

00:08:08