Jobs · Maxime Lesourd / rt-proofs

Status	Job	Pipeline	Stage	Name	Timing
skipped	#66005 twca 39c5d21f	#26914 by	process	proof-state
passed	#66004 twca 39c5d21f	#26914 by	process	doc-classic	00:03:42 Apr 21, 2020
skipped	#66003 twca 39c5d21f	#26914 by	process	doc
passed	#66002 twca 39c5d21f	#26914 by	process	validate-classic	00:01:25 Apr 21, 2020
skipped	#66001 twca 39c5d21f	#26914 by	process	validate
failed	#66000 twca 39c5d21f allowed to fail	#26914 by	build	coq-dev	00:03:17 Apr 21, 2020
failed	#65999 twca 39c5d21f allowed to fail	#26914 by	build	coq-8.10	00:03:47 Apr 21, 2020
failed	#65998 twca 39c5d21f	#26914 by	build	spell-check	00:00:58 Apr 21, 2020
failed	#65997 twca 39c5d21f	#26914 by	build	proof-length	00:16:16 Apr 21, 2020
passed	#65996 twca 39c5d21f	#26914 by	build	build-for-process-classic	00:05:23 Apr 21, 2020
failed	#65995 twca 39c5d21f	#26914 by	build	build-for-process	00:02:40 Apr 21, 2020
failed	#65994 twca 39c5d21f	#26914 by	build	1.10.0-coq-8.11	00:04:16 Apr 21, 2020
failed	#65993 twca 39c5d21f	#26914 by	build	1.10.0-coq-8.10	00:04:22 Apr 21, 2020
failed	#65992 twca 39c5d21f	#26914 by	build	1.10.0-coq-8.9	00:04:31 Apr 21, 2020
failed	#65991 twca 39c5d21f	#26914 by	build	1.9.0-coq-8.11	00:03:56 Apr 21, 2020
failed	#65990 twca 39c5d21f	#26914 by	build	1.9.0-coq-8.10	00:04:18 Apr 21, 2020
failed	#65989 twca 39c5d21f	#26914 by	build	1.9.0-coq-8.9	00:04:18 Apr 21, 2020
skipped	#65095 twca 39db2c72	#26730 by	process	proof-state
passed	#65094 twca 39db2c72	#26730 by	process	doc-classic	00:04:22 Apr 16, 2020
skipped	#65093 twca 39db2c72	#26730 by	process	doc
passed	#65092 twca 39db2c72	#26730 by	process	validate-classic	00:01:58 Apr 16, 2020
skipped	#65091 twca 39db2c72	#26730 by	process	validate
failed	#65090 twca 39db2c72 allowed to fail	#26730 by	build	coq-dev	00:03:10 Apr 16, 2020
failed	#65089 twca 39db2c72 allowed to fail	#26730 by	build	coq-8.10	00:02:52 Apr 16, 2020
failed	#65088 twca 39db2c72	#26730 by	build	spell-check	00:01:36 Apr 16, 2020
failed	#65087 twca 39db2c72	#26730 by	build	proof-length	00:01:34 Apr 16, 2020
passed	#65086 twca 39db2c72	#26730 by	build	build-for-process-classic	00:04:41 Apr 16, 2020
failed	#65085 twca 39db2c72	#26730 by	build	build-for-process	00:16:41 Apr 16, 2020
failed	#65084 twca 39db2c72	#26730 by	build	1.10.0-coq-8.11	00:06:05 Apr 16, 2020
failed	#65083 twca 39db2c72	#26730 by	build	1.10.0-coq-8.10	00:06:06 Apr 16, 2020