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

Status	Job	Pipeline	Stage	Name	Timing
passed	#108804 master f13d14fc	#40010 by	process	proof-state	00:04:45 Jan 02, 2021
passed	#108803 master f13d14fc	#40010 by	process	doc-classic	00:06:43 Jan 02, 2021
passed	#108802 master f13d14fc	#40010 by	process	doc	00:00:19 Jan 02, 2021
passed	#108801 master f13d14fc	#40010 by	process	validate-classic	00:07:46 Jan 02, 2021
passed	#108800 master f13d14fc	#40010 by	process	validate	00:00:53 Jan 02, 2021
passed	#108799 master f13d14fc	#40010 by	build	coq-dev	00:05:24 Jan 02, 2021
passed	#108798 master f13d14fc	#40010 by	build	coq-8.12	00:05:30 Jan 02, 2021
passed	#108797 master f13d14fc	#40010 by	build	spell-check	00:00:18 Jan 02, 2021
passed	#108796 master f13d14fc	#40010 by	build	proof-length	00:00:09 Jan 02, 2021
passed	#108795 master f13d14fc	#40010 by	build	build-for-process-classic	00:03:40 Jan 02, 2021
passed	#108794 master f13d14fc	#40010 by	build	build-for-process	00:02:24 Jan 02, 2021
passed	#108793 master f13d14fc	#40010 by	build	1.11.0-coq-8.12	00:20:51 Jan 02, 2021
passed	#108792 master f13d14fc	#40010 by	build	1.11.0-coq-8.11	00:06:14 Jan 02, 2021
passed	#108791 master f13d14fc	#40010 by	build	1.10.0-coq-8.11	00:06:14 Jan 02, 2021
passed	#107165 master c14a8266	#39363 by	process	proof-state	00:04:40 Dec 11, 2020
passed	#107164 master c14a8266	#39363 by	process	doc-classic	00:00:32 Dec 11, 2020
passed	#107163 master c14a8266	#39363 by	process	doc	00:00:18 Dec 11, 2020
passed	#107162 master c14a8266	#39363 by	process	validate-classic	00:01:11 Dec 11, 2020
passed	#107161 master c14a8266	#39363 by	process	validate	00:04:23 Dec 11, 2020
passed	#107160 master c14a8266	#39363 by	build	coq-dev	00:04:20 Dec 11, 2020
passed	#107159 master c14a8266	#39363 by	build	coq-8.12	00:05:27 Dec 11, 2020
passed	#107158 master c14a8266	#39363 by	build	spell-check	00:00:18 Dec 11, 2020
passed	#107157 master c14a8266	#39363 by	build	proof-length	00:00:08 Dec 11, 2020
passed	#107156 master c14a8266	#39363 by	build	build-for-process-classic	00:03:36 Dec 11, 2020
passed	#107155 master c14a8266	#39363 by	build	build-for-process	00:02:19 Dec 11, 2020
passed	#107154 master c14a8266	#39363 by	build	1.11.0-coq-8.12	00:05:01 Dec 11, 2020
passed	#107153 master c14a8266	#39363 by	build	1.11.0-coq-8.11	00:06:02 Dec 11, 2020
passed	#107152 master c14a8266	#39363 by	build	1.10.0-coq-8.11	00:05:58 Dec 11, 2020
passed	#107136 master f1d536d2	#39360 by	process	proof-state	00:04:45 Dec 11, 2020
passed	#107135 master f1d536d2	#39360 by	process	doc-classic	00:00:32 Dec 11, 2020