Jobs · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Status	Job	Pipeline	Stage	Name	Timing
passed	#42063 master 8f16ef34	#19740 by	process	proof-length	00:00:14 Sep 17, 2019
passed	#42062 master 8f16ef34	#19740 by	process	doc	00:00:24 Sep 17, 2019
passed	#42061 master 8f16ef34	#19740 by	process	validate	00:01:35 Sep 17, 2019
passed	#42060 master 8f16ef34	#19740 by	build	1.9.0-coq-8.9	00:02:14 Sep 17, 2019
failed	#42059 master 8f16ef34 allowed to fail	#19740 by	build	1.9.0-coq-dev	00:00:16 Sep 17, 2019
passed	#42058 master 8f16ef34	#19740 by	build	1.8.0-coq-8.8	00:02:14 Sep 17, 2019
passed	#41564 master 80bd79d5	#19634 by	process	proof-length	00:00:14 Sep 12, 2019
passed	#41563 master 80bd79d5	#19634 by	process	doc	00:00:23 Sep 12, 2019
passed	#41562 master 80bd79d5	#19634 by	process	validate	00:01:28 Sep 12, 2019
passed	#41561 master 80bd79d5	#19634 by	build	1.9.0-coq-8.9	00:02:06 Sep 12, 2019
failed	#41560 master 80bd79d5 allowed to fail	#19634 by	build	1.9.0-coq-dev	00:00:14 Sep 12, 2019
passed	#41559 master 80bd79d5	#19634 by	build	1.8.0-coq-8.8	00:02:05 Sep 12, 2019
passed	#40941 move-proc-models 80bd79d5	#19452 by	process	proof-length	00:00:15 Aug 30, 2019
passed	#40940 move-proc-models 80bd79d5	#19452 by	process	doc	00:00:32 Aug 30, 2019
passed	#40939 move-proc-models 80bd79d5	#19452 by	process	validate	00:01:37 Aug 30, 2019
passed	#40938 move-proc-models 80bd79d5	#19452 by	build	1.9.0-coq-8.9	00:02:04 Aug 30, 2019
failed	#40937 move-proc-models 80bd79d5 allowed to fail	#19452 by	build	1.9.0-coq-dev	00:00:14 Aug 30, 2019
passed	#40936 move-proc-models 80bd79d5	#19452 by	build	1.8.0-coq-8.8	00:02:04 Aug 30, 2019
passed	#40899 master 8313f7c6	#19445 by	process	proof-length	00:00:15 Aug 30, 2019
passed	#40898 master 8313f7c6	#19445 by	process	doc	00:03:08 Aug 30, 2019
passed	#40897 master 8313f7c6	#19445 by	process	validate	00:04:20 Aug 30, 2019
passed	#40896 master 8313f7c6	#19445 by	build	1.9.0-coq-8.9	00:02:05 Aug 30, 2019
failed	#40895 master 8313f7c6 allowed to fail	#19445 by	build	1.9.0-coq-dev	00:00:15 Aug 30, 2019
passed	#40894 master 8313f7c6	#19445 by	build	1.8.0-coq-8.8	00:02:06 Aug 30, 2019
passed	#40686 master 0fbee8da	#19373 by	process	proof-length	00:00:15 Aug 27, 2019
passed	#40685 master 0fbee8da	#19373 by	process	doc	00:02:59 Aug 27, 2019
passed	#40684 master 0fbee8da	#19373 by	process	validate	00:01:29 Aug 27, 2019
passed	#40683 master 0fbee8da	#19373 by	build	1.9.0-coq-8.9	00:02:12 Aug 27, 2019
failed	#40682 master 0fbee8da allowed to fail	#19373 by	build	1.9.0-coq-dev	00:01:18 Aug 27, 2019
passed	#40681 master 0fbee8da	#19373 by	build	1.8.0-coq-8.8	00:02:11 Aug 27, 2019