Jobs · Glen Mével / Iris

Status	Name	Job	Pipeline	Stage	Duration
passed	build-coq.8.13.2	#168413 glen/big_op-TCOr-Affine 75a738f1 fp	#61113 by	build	00:07:55 Feb 01, 2022
passed	build-coq.8.14.1-mr	#168412 glen/big_op-TCOr-Affine 75a738f1 fp	#61113 by	build	00:07:57 Feb 01, 2022
passed	build-coq.8.13.2	#168129 glen/big_op-TCOr-Affine 433d55e6 fp	#61007 by	build	00:07:25 Jan 31, 2022
passed	build-coq.8.14.1-mr	#168128 glen/big_op-TCOr-Affine 433d55e6 fp	#61007 by	build	00:07:20 Jan 31, 2022
passed	build-coq.8.13.2	#168060 glen/big_op-TCOr-Affine 48817ac9 fp	#60979 by	build	00:07:13 Jan 30, 2022
passed	build-coq.8.14.1-mr	#168059 glen/big_op-TCOr-Affine 48817ac9 fp	#60979 by	build	00:12:32 Jan 30, 2022
passed	build-coq.8.13.2	#167839 glen/big_op-TCOr-Affine cb10c41d fp	#60872 by	build	00:07:22 Jan 27, 2022
passed	build-coq.8.14.1-mr	#167838 glen/big_op-TCOr-Affine cb10c41d fp	#60872 by	build	00:07:25 Jan 27, 2022
passed	build-coq.8.13.2	#167507 glen/big_op-TCOr-Affine 43cedf6d fp	#60803 by	build	00:14:33 Jan 26, 2022
passed	build-coq.8.14.1-mr	#167506 glen/big_op-TCOr-Affine 43cedf6d fp	#60803 by	build	00:18:38 Jan 26, 2022
failed	build-coq.8.13.2	#167504 glen/big_op-TCOr-Affine e17f8256 fp	#60801 by	build	00:12:54 Jan 26, 2022
failed	build-coq.8.14.1-mr	#167503 glen/big_op-TCOr-Affine e17f8256 fp	#60801 by	build	00:16:55 Jan 26, 2022
passed	build-coq.8.12.2	#160267 glen/big_op-TCOr-Affine 40115947 fp	#58007 by	build	00:16:37 Nov 26, 2021
passed	build-coq.8.14.1-mr	#160266 glen/big_op-TCOr-Affine 40115947 fp	#58007 by	build	00:08:20 Nov 26, 2021
canceled	build-coq.8.12.2	#160265 glen/big_op-TCOr-Affine fad29a90 fp	#58006 by	build	00:02:28 Nov 26, 2021
canceled	build-coq.8.14.1-mr	#160264 glen/big_op-TCOr-Affine fad29a90 fp	#58006 by	build	00:02:29 Nov 26, 2021
failed	build-coq.8.12.2	#160263 glen/big_op-TCOr-Affine 1d942eab fp	#58005 by	build	00:13:45 Nov 26, 2021
canceled	build-coq.8.14.1-mr	#160262 glen/big_op-TCOr-Affine 1d942eab fp	#58005 by	build	00:17:09 Nov 26, 2021
failed	build-coq.8.12.2	#160261 refs/merge-requests/1/head 1d942eab fp	#58004 by	build	00:13:21 Nov 26, 2021
passed	build-coq.8.14.1-mr	#160260 refs/merge-requests/1/head 1d942eab fp	#58004 by	build	00:18:15 Nov 26, 2021