Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.13.2 #168413
glen/big_op-TCOr-Affine
75a738f1
fp
#61113 by Glen Mével's avatar build

00:07:55

passed build-coq.8.14.1-mr #168412
glen/big_op-TCOr-Affine
75a738f1
fp
#61113 by Glen Mével's avatar build

00:07:57

passed build-coq.8.13.2 #168129
glen/big_op-TCOr-Affine
433d55e6
fp
#61007 by Glen Mével's avatar build

00:07:25

passed build-coq.8.14.1-mr #168128
glen/big_op-TCOr-Affine
433d55e6
fp
#61007 by Glen Mével's avatar build

00:07:20

passed build-coq.8.13.2 #168060
glen/big_op-TCOr-Affine
48817ac9
fp
#60979 by Glen Mével's avatar build

00:07:13

passed build-coq.8.14.1-mr #168059
glen/big_op-TCOr-Affine
48817ac9
fp
#60979 by Glen Mével's avatar build

00:12:32

passed build-coq.8.13.2 #167839
glen/big_op-TCOr-Affine
cb10c41d
fp
#60872 by Glen Mével's avatar build

00:07:22

passed build-coq.8.14.1-mr #167838
glen/big_op-TCOr-Affine
cb10c41d
fp
#60872 by Glen Mével's avatar build

00:07:25

passed build-coq.8.13.2 #167507
glen/big_op-TCOr-Affine
43cedf6d
fp
#60803 by Glen Mével's avatar build

00:14:33

passed build-coq.8.14.1-mr #167506
glen/big_op-TCOr-Affine
43cedf6d
fp
#60803 by Glen Mével's avatar build

00:18:38

failed build-coq.8.13.2 #167504
glen/big_op-TCOr-Affine
e17f8256
fp
#60801 by Glen Mével's avatar build

00:12:54

failed build-coq.8.14.1-mr #167503
glen/big_op-TCOr-Affine
e17f8256
fp
#60801 by Glen Mével's avatar build

00:16:55

passed build-coq.8.12.2 #160267
glen/big_op-TCOr-Affine
40115947
fp
#58007 by Glen Mével's avatar build

00:16:37

passed build-coq.8.14.1-mr #160266
glen/big_op-TCOr-Affine
40115947
fp
#58007 by Glen Mével's avatar build

00:08:20

canceled build-coq.8.12.2 #160265
glen/big_op-TCOr-Affine
fad29a90
fp
#58006 by Glen Mével's avatar build

00:02:28

canceled build-coq.8.14.1-mr #160264
glen/big_op-TCOr-Affine
fad29a90
fp
#58006 by Glen Mével's avatar build

00:02:29

failed build-coq.8.12.2 #160263
glen/big_op-TCOr-Affine
1d942eab
fp
#58005 by Glen Mével's avatar build

00:13:45

canceled build-coq.8.14.1-mr #160262
glen/big_op-TCOr-Affine
1d942eab
fp
#58005 by Glen Mével's avatar build

00:17:09

failed build-coq.8.12.2 #160261
refs/merge-requests/1/head
1d942eab
fp
#58004 by Glen Mével's avatar build

00:13:21

passed build-coq.8.14.1-mr #160260
refs/merge-requests/1/head
1d942eab
fp
#58004 by Glen Mével's avatar build

00:18:15