Jobs · Pierre Roux / PROSA - Formally Proven Schedulability Analysis

Status	Name	Job	Pipeline	Stage	Duration
passed	doc-classic	#174787 priority_inversion bc965175	#62792 by	process	00:00:29 Mar 02, 2022
passed	doc	#174786 priority_inversion bc965175	#62792 by	process	00:00:17 Mar 02, 2022
passed	validate-classic	#174785 priority_inversion bc965175	#62792 by	process	00:01:02 Mar 02, 2022
failed	validate	#174784 priority_inversion bc965175	#62792 by	process	00:00:45 Mar 02, 2022
passed	proof-state	#174783 priority_inversion bc965175	#62792 by	build	00:06:43 Mar 02, 2022
failed	coq-dev	#174782 priority_inversion bc965175 allowed to fail	#62792 by	build	00:00:45 Mar 02, 2022
passed	coq-8.13	#174781 priority_inversion bc965175	#62792 by	build	00:03:37 Mar 02, 2022
failed	spell-check	#174780 priority_inversion bc965175	#62792 by	build	00:00:18 Mar 02, 2022
failed	proof-length	#174779 priority_inversion bc965175	#62792 by	build	00:00:17 Mar 02, 2022
passed	compile-classic	#174778 priority_inversion bc965175	#62792 by	build	00:01:52 Mar 02, 2022
passed	compile	#174777 priority_inversion bc965175	#62792 by	build	00:01:19 Mar 02, 2022
passed	1.13.0-coq-8.14	#174776 priority_inversion bc965175	#62792 by	build	00:03:22 Mar 02, 2022
passed	1.13.0-coq-8.13	#174775 priority_inversion bc965175	#62792 by	build	00:03:20 Mar 02, 2022
passed	1.12.0-coq-8.14	#174774 priority_inversion bc965175	#62792 by	build	00:03:38 Mar 02, 2022
passed	1.12.0-coq-8.13	#174773 priority_inversion bc965175	#62792 by	build	00:03:39 Mar 02, 2022
passed	doc-classic	#174772 priority_inversion 4762a049	#62791 by	process	00:00:29 Mar 02, 2022
passed	doc	#174771 priority_inversion 4762a049	#62791 by	process	00:00:17 Mar 02, 2022
passed	validate-classic	#174770 priority_inversion 4762a049	#62791 by	process	00:01:02 Mar 02, 2022
failed	validate	#174769 priority_inversion 4762a049	#62791 by	process	00:00:43 Mar 02, 2022
passed	proof-state	#174768 priority_inversion 4762a049	#62791 by	build	00:06:48 Mar 02, 2022
failed	coq-dev	#174767 priority_inversion 4762a049 allowed to fail	#62791 by	build	00:01:43 Mar 02, 2022
passed	coq-8.13	#174766 priority_inversion 4762a049	#62791 by	build	00:04:24 Mar 02, 2022
failed	spell-check	#174765 priority_inversion 4762a049	#62791 by	build	00:00:20 Mar 02, 2022
failed	proof-length	#174764 priority_inversion 4762a049	#62791 by	build	00:00:08 Mar 02, 2022
passed	compile-classic	#174763 priority_inversion 4762a049	#62791 by	build	00:01:59 Mar 02, 2022
passed	compile	#174762 priority_inversion 4762a049	#62791 by	build	00:01:21 Mar 02, 2022
passed	1.13.0-coq-8.14	#174761 priority_inversion 4762a049	#62791 by	build	00:03:22 Mar 02, 2022
passed	1.13.0-coq-8.13	#174760 priority_inversion 4762a049	#62791 by	build	00:03:22 Mar 02, 2022
passed	1.12.0-coq-8.14	#174759 priority_inversion 4762a049	#62791 by	build	00:03:21 Mar 02, 2022
passed	1.12.0-coq-8.13	#174758 priority_inversion 4762a049	#62791 by	build	00:03:32 Mar 02, 2022