Jobs · Glen Mével / stdpp

Status	Name	Job	Pipeline	Stage	Duration
passed	build-coq.8.11.2	#163264 glen/pred_finite 6dcccf06 fp	#59179 by	build	00:04:32 Dec 21, 2021
passed	build-coq.8.14.1-mr	#163263 glen/pred_finite 6dcccf06 fp	#59179 by	build	00:04:21 Dec 21, 2021
canceled	build-coq.8.11.2	#163262 glen/pred_finite ab97a624 fp	#59178 by	build	00:04:03 Dec 21, 2021
canceled	build-coq.8.14.1-mr	#163261 glen/pred_finite ab97a624 fp	#59178 by	build	00:04:05 Dec 21, 2021
passed	build-coq.8.11.2	#163260 glen/pred_finite d95046c3 fp	#59177 by	build	00:04:30 Dec 21, 2021
passed	build-coq.8.14.1-mr	#163259 glen/pred_finite d95046c3 fp	#59177 by	build	00:04:27 Dec 21, 2021
passed	build-coq.8.11.2	#162370 glen/pred_finite 35d5600f fp	#58895 by	build	00:04:25 Dec 15, 2021
passed	build-coq.8.14.1-mr	#162369 glen/pred_finite 35d5600f fp	#58895 by	build	00:04:18 Dec 15, 2021
passed	build-coq.8.11.2	#162138 glen/pred_finite e06129b0 fp	#58814 by	build	00:04:17 Dec 13, 2021
passed	build-coq.8.14.1-mr	#162137 glen/pred_finite e06129b0 fp	#58814 by	build	00:04:16 Dec 13, 2021
failed	build-coq.8.11.2	#162131 glen/pred_finite 804d5042 fp	#58808 by	build	00:02:08 Dec 13, 2021
failed	build-coq.8.14.1-mr	#162130 glen/pred_finite 804d5042 fp	#58808 by	build	00:02:04 Dec 13, 2021
failed	build-coq.8.11.2	#162067 glen/pred_finite 97c7a0ec fp	#58789 by	build	00:01:57 Dec 13, 2021
failed	build-coq.8.14.1-mr	#162066 glen/pred_finite 97c7a0ec fp	#58789 by	build	00:01:53 Dec 13, 2021
failed	build-coq.8.11.2	#162059 glen/pred_finite ffacf118 fp	#58787 by	build	00:02:09 Dec 13, 2021
failed	build-coq.8.14.1-mr	#162058 glen/pred_finite ffacf118 fp	#58787 by	build	00:01:59 Dec 13, 2021
passed	build-coq.8.11.2	#161920 glen/pred_finite e36e6bd9 fp	#58753 by	build	00:04:26 Dec 12, 2021
passed	build-coq.8.14.1-mr	#161919 glen/pred_finite e36e6bd9 fp	#58753 by	build	00:04:22 Dec 12, 2021
passed	build-coq.8.11.2	#161918 glen/pred_finite 895fb3fd fp	#58752 by	build	00:09:41 Dec 12, 2021
failed	build-coq.8.14.1-mr	#161917 glen/pred_finite 895fb3fd fp	#58752 by	build	00:02:13 Dec 12, 2021
passed	build-coq.8.10.2	#160681 glen/zip_with_take_both d49329c7 fp	#58183 by	build	00:04:34 Dec 01, 2021
passed	build-coq.8.14.1-mr	#160680 glen/zip_with_take_both d49329c7 fp	#58183 by	build	00:10:11 Dec 01, 2021
passed	build-coq.8.10.2	#160259 glen/zip_with_take_both 4573b15f fp	#58003 by	build	00:04:39 Nov 26, 2021
passed	build-coq.8.13.2-mr	#160258 glen/zip_with_take_both 4573b15f fp	#58003 by	build	00:04:12 Nov 26, 2021
passed	build-coq.8.10.2	#159753 glen/zip_with_take_both 74bed0ee fp	#57850 by	build	00:09:45 Nov 24, 2021
passed	build-coq.8.13.2-mr	#159752 glen/zip_with_take_both 74bed0ee fp	#57850 by	build	00:09:57 Nov 24, 2021