Jobs · CertiCompil / CompCert-KVX

Status	Name	Job	Pipeline	Stage	Duration
failed	build_kvx	#285935 master 23bad2f6	#85025 by	build	03:00:01 Jan 06, 2022
failed	build_kvx	#284912 master 23bad2f6	#85025 by	build	03:00:01 Jan 04, 2022
failed	build_kvx	#284774 master 23bad2f6	#85025 by	build	03:00:01 Jan 04, 2022
passed	pages	#284773 master 23bad2f6	#85025 by	build	00:20:45 Jan 04, 2022
failed	pages	#284758 master 23bad2f6	#85025 by	build	00:00:14 Jan 04, 2022
failed	build_kvx	#284757 master 23bad2f6	#85025 by	build	00:00:16 Jan 04, 2022
passed	build_armhf	#284756 master 23bad2f6	#85025 by	build	02:51:28 Jan 04, 2022
passed	build_arm	#284755 master 23bad2f6	#85025 by	build	02:52:35 Jan 04, 2022
passed	build_aarch64_coq13	#284664 master 23bad2f6	#85025 by	build	00:15:03 Jan 04, 2022
failed	pages	#284663 master 23bad2f6	#85025 by	build	00:00:15 Jan 04, 2022
failed	build_kvx	#284662 master 23bad2f6	#85025 by	build	00:00:15 Jan 04, 2022
passed	build_rv32	#284661 master 23bad2f6	#85025 by	build	00:16:57 Jan 04, 2022
passed	build_rv64	#284660 master 23bad2f6	#85025 by	build	01:46:05 Jan 04, 2022
passed	build_ppc64	#284659 master 23bad2f6	#85025 by	build	00:15:30 Jan 04, 2022
passed	build_ppc	#284658 master 23bad2f6	#85025 by	build	02:20:02 Jan 04, 2022
failed	build_armhf	#284657 master 23bad2f6	#85025 by	build	03:00:02 Jan 04, 2022
failed	build_arm	#284656 master 23bad2f6	#85025 by	build	03:00:02 Jan 04, 2022
passed	build_aarch64	#284655 master 23bad2f6	#85025 by	build	01:57:28 Jan 04, 2022
passed	build_ia32	#284654 master 23bad2f6	#85025 by	build	02:57:59 Jan 04, 2022
passed	build_x86_64	#284653 master 23bad2f6	#85025 by	build	01:53:55 Jan 04, 2022
passed	check-admitted	#284652 master 23bad2f6	#85025 by	build	00:01:56 Jan 04, 2022
manual	build_kvx	#279603 CPP22_if_lifting f9cee6a6 manual	#83535 by	build
manual	build_rv32	#279602 CPP22_if_lifting f9cee6a6 manual	#83535 by	build
manual	build_rv64	#279601 CPP22_if_lifting f9cee6a6 manual	#83535 by	build
manual	build_ppc64	#279600 CPP22_if_lifting f9cee6a6 manual	#83535 by	build
manual	build_ppc	#279599 CPP22_if_lifting f9cee6a6 manual	#83535 by	build
manual	build_armhf	#279598 CPP22_if_lifting f9cee6a6 manual	#83535 by	build
manual	build_arm	#279597 CPP22_if_lifting f9cee6a6 manual	#83535 by	build
manual	build_aarch64	#279596 CPP22_if_lifting f9cee6a6 manual	#83535 by	build
manual	build_ia32	#279595 CPP22_if_lifting f9cee6a6 manual	#83535 by	build