Jobs · Gregory Malecha / stdpp

Status	Name	Job	Pipeline	Stage	Duration
passed	build-coq.8.11.2	#182945 fixpoint-tele_arg 9d0192a9 fp	#64598 by	build	00:07:47 Apr 11, 2022
passed	build-coq.8.14.1-mr	#182944 fixpoint-tele_arg 9d0192a9 fp	#64598 by	build	00:04:28 Apr 11, 2022
canceled	build-coq.8.11.2	#182943 fixpoint-tele_arg 0feaf1f0 fp	#64597 by	build	00:00:57 Apr 11, 2022
canceled	build-coq.8.14.1-mr	#182942 fixpoint-tele_arg 0feaf1f0 fp	#64597 by	build	00:01:00 Apr 11, 2022
passed	build-coq.8.11.2	#181916 fixpoint-tele_arg 298e7fcf fp	#64367 by	build	00:05:20 Apr 07, 2022
passed	build-coq.8.14.1-mr	#181915 fixpoint-tele_arg 298e7fcf fp	#64367 by	build	00:05:11 Apr 07, 2022
passed	build-coq.8.11.2	#181906 fixpoint-tele_arg 9c37da7e fp	#64360 by	build	00:04:58 Apr 07, 2022
passed	build-coq.8.14.1-mr	#181905 fixpoint-tele_arg 9c37da7e fp	#64360 by	build	00:04:56 Apr 07, 2022
canceled	build-coq.8.11.2	#181904 fixpoint-tele_arg 18385d36 fp	#64359 by	build	00:02:44 Apr 07, 2022
canceled	build-coq.8.14.1-mr	#181903 fixpoint-tele_arg 18385d36 fp	#64359 by	build	00:02:47 Apr 07, 2022
passed	build-coq.8.11.2	#180340 fixpoint-tele_arg c558023a fp	#63929 by	build	00:04:48 Mar 27, 2022
passed	build-coq.8.14.1-mr	#180339 fixpoint-tele_arg c558023a fp	#63929 by	build	00:04:36 Mar 27, 2022
canceled	build-coq.8.11.2	#180338 fixpoint-tele_arg 7c74cf0c fp	#63928 by	build	00:02:42 Mar 27, 2022
canceled	build-coq.8.14.1-mr	#180337 fixpoint-tele_arg 7c74cf0c fp	#63928 by	build	00:02:43 Mar 27, 2022
passed	build-coq.8.11.2	#176515 fixpoint-tele_arg d95dc959 fp	#63142 by	build	00:04:16 Mar 11, 2022
passed	build-coq.8.14.1-mr	#176514 fixpoint-tele_arg d95dc959 fp	#63142 by	build	00:04:11 Mar 11, 2022
passed	build-coq.8.11.2	#175900 fixpoint-tele_arg eb3f002c fp	#63022 by	build	00:04:16 Mar 08, 2022
passed	build-coq.8.14.1-mr	#175899 fixpoint-tele_arg eb3f002c fp	#63022 by	build	00:04:10 Mar 08, 2022
passed	build-coq.8.11.2	#175758 fixpoint-tele_arg df375094 fp	#63000 by	build	00:04:11 Mar 08, 2022
passed	build-coq.8.14.1-mr	#175757 fixpoint-tele_arg df375094 fp	#63000 by	build	00:04:03 Mar 08, 2022
canceled	build-coq.8.11.2	#175756 fixpoint-tele_arg 18e02fe6 fp	#62999 by	build	00:02:12 Mar 08, 2022
canceled	build-coq.8.14.1-mr	#175755 fixpoint-tele_arg 18e02fe6 fp	#62999 by	build	00:02:13 Mar 08, 2022
passed	build-coq.8.11.2	#175754 fixpoint-tele_arg 455f5701 fp	#62998 by	build	00:04:14 Mar 08, 2022
passed	build-coq.8.14.1-mr	#175753 fixpoint-tele_arg 455f5701 fp	#62998 by	build	00:04:05 Mar 08, 2022
passed	build-coq.8.11.2	#175736 fixpoint-tele_arg 1426015d fp	#62982 by	build	00:04:31 Mar 07, 2022
passed	build-coq.8.14.1-mr	#175735 fixpoint-tele_arg 1426015d fp	#62982 by	build	00:04:20 Mar 07, 2022
failed	build-coq.8.11.2	#175732 fixpoint-tele_arg cd53abd2 fp	#62980 by	build	00:03:26 Mar 07, 2022
passed	build-coq.8.14.1-mr	#175731 fixpoint-tele_arg cd53abd2 fp	#62980 by	build	00:04:36 Mar 07, 2022
canceled	build-coq.8.11.2	#175730 fixpoint-tele_arg 6e699f67 fp	#62979 by	build	00:01:37 Mar 07, 2022
canceled	build-coq.8.14.1-mr	#175729 fixpoint-tele_arg 6e699f67 fp	#62979 by	build	00:01:42 Mar 07, 2022