Jobs · CertiCompil / CompCert-KVX

Status	Name	Job	Pipeline	Stage	Duration
passed	build_kvx	#308353 master d5f60d87	#92606 by	build	03:56:21 Mar 09, 2022
passed	build_armhf	#308352 master d5f60d87	#92606 by	build	02:46:51 Mar 09, 2022
passed	build_arm	#308351 master d5f60d87	#92606 by	build	02:08:14 Mar 09, 2022
passed	build_aarch64_coq14	#308303 master d5f60d87	#92606 by	build	00:14:52 Mar 09, 2022
failed	pages	#308302 master d5f60d87	#92606 by	build	00:04:32 Mar 09, 2022
failed	build_kvx	#308301 master d5f60d87	#92606 by	build	03:00:02 Mar 09, 2022
passed	build_rv32	#308300 master d5f60d87	#92606 by	build	00:18:05 Mar 09, 2022
passed	build_rv64	#308299 master d5f60d87	#92606 by	build	01:51:18 Mar 09, 2022
passed	build_ppc64	#308298 master d5f60d87	#92606 by	build	00:16:41 Mar 09, 2022
passed	build_ppc	#308297 master d5f60d87	#92606 by	build	02:17:12 Mar 09, 2022
failed	build_armhf	#308296 master d5f60d87	#92606 by	build	03:00:03 Mar 09, 2022
failed	build_arm	#308295 master d5f60d87	#92606 by	build	03:00:03 Mar 09, 2022
passed	build_aarch64	#308294 master d5f60d87	#92606 by	build	01:56:15 Mar 09, 2022
passed	build_ia32	#308293 master d5f60d87	#92606 by	build	02:51:00 Mar 09, 2022
passed	build_x86_64	#308292 master d5f60d87	#92606 by	build	01:53:10 Mar 09, 2022
passed	check-admitted	#308291 master d5f60d87	#92606 by	build	00:02:15 Mar 09, 2022
failed	build_aarch64_coq13	#294880 master 86759972	#88603 by	build	00:00:10 Feb 03, 2022
failed	pages	#294879 master 86759972	#88603 by	build	00:00:10 Feb 03, 2022
failed	build_kvx	#294878 master 86759972	#88603 by	build	00:00:10 Feb 03, 2022
failed	build_rv32	#294877 master 86759972	#88603 by	build	00:00:10 Feb 03, 2022
failed	build_rv64	#294876 master 86759972	#88603 by	build	00:02:15 Feb 03, 2022
failed	build_ppc64	#294875 master 86759972	#88603 by	build	00:00:11 Feb 03, 2022
failed	build_ppc	#294874 master 86759972	#88603 by	build	00:00:11 Feb 03, 2022
failed	build_armhf	#294873 master 86759972	#88603 by	build	00:00:12 Feb 03, 2022
failed	build_arm	#294872 master 86759972	#88603 by	build	00:00:11 Feb 03, 2022
failed	build_aarch64	#294871 master 86759972	#88603 by	build	00:00:11 Feb 03, 2022
failed	build_ia32	#294870 master 86759972	#88603 by	build	00:00:11 Feb 03, 2022
failed	build_x86_64	#294869 master 86759972	#88603 by	build	00:02:15 Feb 03, 2022
failed	check-admitted	#294868 master 86759972	#88603 by	build	00:00:11 Feb 03, 2022
failed	build_kvx	#285935 master 23bad2f6	#85025 by	build	03:00:01 Jan 06, 2022