Status Name Job Pipeline Stage Duration Coverage
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