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

Status	Job	Pipeline	Stage	Name	Timing
passed	#48055 require-removal bdf6d96c	#21375 by	process	doc	00:00:31 Nov 20, 2019
passed	#48031 require-removal bdf6d96c	#21375 by	process	proof-state	00:01:54 Nov 20, 2019
failed	#48030 require-removal bdf6d96c	#21375 by	process	doc	00:04:43 Nov 20, 2019
passed	#48029 require-removal bdf6d96c	#21375 by	process	validate	00:01:05 Nov 20, 2019
passed	#48028 require-removal bdf6d96c allowed to fail	#21375 by	build	latest-coq-8.10	00:03:09 Nov 20, 2019
passed	#48027 require-removal bdf6d96c allowed to fail	#21375 by	build	1.9.0-coq-dev	00:03:03 Nov 20, 2019
passed	#48026 require-removal bdf6d96c	#21375 by	build	1.9.0-coq-8.9	00:02:59 Nov 20, 2019
passed	#48025 require-removal bdf6d96c	#21375 by	build	proof-length	00:00:13 Nov 20, 2019
passed	#48024 require-removal bdf6d96c	#21375 by	build	1.9.0-coq-8.10	00:03:08 Nov 20, 2019
passed	#47997 disambiguate-require 2e088364	#21362 by	process	proof-state	00:02:13 Nov 19, 2019
passed	#47996 disambiguate-require 2e088364	#21362 by	process	doc	00:00:34 Nov 19, 2019
passed	#47995 disambiguate-require 2e088364	#21362 by	process	validate	00:05:06 Nov 19, 2019
passed	#47994 disambiguate-require 2e088364 allowed to fail	#21362 by	build	latest-coq-8.10	00:02:55 Nov 19, 2019
passed	#47993 disambiguate-require 2e088364 allowed to fail	#21362 by	build	1.9.0-coq-dev	00:03:18 Nov 19, 2019
passed	#47992 disambiguate-require 2e088364	#21362 by	build	1.9.0-coq-8.9	00:03:28 Nov 19, 2019
passed	#47991 disambiguate-require 2e088364	#21362 by	build	proof-length	00:00:15 Nov 19, 2019
passed	#47990 disambiguate-require 2e088364	#21362 by	build	1.9.0-coq-8.10	00:03:24 Nov 19, 2019
passed	#47965 master 7060e7ed	#21358 by	build	proof-length	00:00:14 Nov 19, 2019
passed	#47964 master 7060e7ed allowed to fail	#21358 by	build	latest-coq-8.10	00:02:22 Nov 19, 2019
passed	#47963 master 7060e7ed allowed to fail	#21358 by	build	1.9.0-coq-dev	00:03:14 Nov 19, 2019
passed	#47962 master 7060e7ed	#21358 by	build	1.9.0-coq-8.9	00:03:21 Nov 19, 2019
passed	#47961 master 7060e7ed	#21358 by	build	1.9.0-coq-8.10	00:03:14 Nov 19, 2019
failed	#47960 master 7060e7ed	#21358 by	build	proof-length	00:00:13 Nov 19, 2019
failed	#47959 master 7060e7ed allowed to fail	#21358 by	build	latest-coq-8.10	00:00:13 Nov 19, 2019
failed	#47958 master 7060e7ed allowed to fail	#21358 by	build	1.9.0-coq-dev	00:00:13 Nov 19, 2019
failed	#47957 master 7060e7ed	#21358 by	build	1.9.0-coq-8.10	00:00:13 Nov 19, 2019
failed	#47956 master 7060e7ed	#21358 by	build	1.9.0-coq-8.9	00:00:13 Nov 19, 2019
passed	#47955 master 7060e7ed	#21358 by	process	proof-state	00:02:24 Nov 19, 2019
passed	#47954 master 7060e7ed	#21358 by	process	doc	00:00:33 Nov 19, 2019
passed	#47953 master 7060e7ed	#21358 by	process	validate	00:01:04 Nov 19, 2019