Jobs · Marco Perronet / PROSA - Formally Proven Schedulability Analysis

Status	Job	Pipeline	Stage	Name	Timing
passed	#52556 implementation-scheduler 2d4ee7b6	#22733 by	process	proof-state	00:01:50 Jan 10, 2020
skipped	#52555 implementation-scheduler 2d4ee7b6	#22733 by	process	doc-classic
passed	#52554 implementation-scheduler 2d4ee7b6	#22733 by	process	doc	00:00:24 Jan 10, 2020
skipped	#52553 implementation-scheduler 2d4ee7b6	#22733 by	process	validate-classic
passed	#52552 implementation-scheduler 2d4ee7b6	#22733 by	process	validate	00:00:47 Jan 10, 2020
passed	#52551 implementation-scheduler 2d4ee7b6 allowed to fail	#22733 by	build	latest-coq-8.10	00:01:32 Jan 10, 2020
failed	#52550 implementation-scheduler 2d4ee7b6 allowed to fail	#22733 by	build	1.9.0-coq-dev	00:01:04 Jan 10, 2020
passed	#52549 implementation-scheduler 2d4ee7b6	#22733 by	build	1.9.0-coq-8.9	00:01:31 Jan 10, 2020
passed	#52548 implementation-scheduler 2d4ee7b6	#22733 by	build	spell-check	00:00:34 Jan 10, 2020
passed	#52547 implementation-scheduler 2d4ee7b6	#22733 by	build	proof-length	00:00:24 Jan 10, 2020
failed	#52546 implementation-scheduler 2d4ee7b6	#22733 by	build	1.9.0-coq-8.10-classic	00:00:27 Jan 10, 2020
passed	#52545 implementation-scheduler 2d4ee7b6	#22733 by	build	1.9.0-coq-8.10	00:01:36 Jan 10, 2020
skipped	#52538 implementation-scheduler 2db8e849	#22726 by	process	proof-state
skipped	#52537 implementation-scheduler 2db8e849	#22726 by	process	doc-classic
skipped	#52536 implementation-scheduler 2db8e849	#22726 by	process	doc
skipped	#52535 implementation-scheduler 2db8e849	#22726 by	process	validate-classic
skipped	#52534 implementation-scheduler 2db8e849	#22726 by	process	validate
failed	#52533 implementation-scheduler 2db8e849 allowed to fail	#22726 by	build	latest-coq-8.10	00:00:25 Jan 10, 2020
failed	#52532 implementation-scheduler 2db8e849 allowed to fail	#22726 by	build	1.9.0-coq-dev	00:00:58 Jan 10, 2020
failed	#52531 implementation-scheduler 2db8e849	#22726 by	build	1.9.0-coq-8.9	00:00:24 Jan 10, 2020
passed	#52530 implementation-scheduler 2db8e849	#22726 by	build	spell-check	00:00:27 Jan 10, 2020
passed	#52529 implementation-scheduler 2db8e849	#22726 by	build	proof-length	00:00:23 Jan 10, 2020
failed	#52528 implementation-scheduler 2db8e849	#22726 by	build	1.9.0-coq-8.10-classic	00:00:25 Jan 10, 2020
failed	#52527 implementation-scheduler 2db8e849	#22726 by	build	1.9.0-coq-8.10	00:00:25 Jan 10, 2020
passed	#51741 master ee05f255	#22384 by	process	proof-state	00:02:03 Dec 24, 2019
passed	#51740 master ee05f255	#22384 by	process	doc-classic	00:00:31 Dec 24, 2019
passed	#51739 master ee05f255	#22384 by	process	doc	00:00:30 Dec 24, 2019
passed	#51738 master ee05f255	#22384 by	process	validate-classic	00:00:58 Dec 24, 2019
passed	#51737 master ee05f255	#22384 by	process	validate	00:00:56 Dec 24, 2019
passed	#51736 master ee05f255 allowed to fail	#22384 by	build	latest-coq-8.10	00:01:45 Dec 24, 2019