Jobs · Maxime Lesourd / rt-proofs

Status	Job	Pipeline	Stage	Name	Timing
skipped	#40570 martin 2bba5157	#19345 by	process	proof-length
skipped	#40569 martin 2bba5157	#19345 by	process	doc
skipped	#40568 martin 2bba5157	#19345 by	process	validate
failed	#40567 martin 2bba5157	#19345 by	build	1.9.0-coq-8.9	00:00:24 Aug 26, 2019
failed	#40566 martin 2bba5157 allowed to fail	#19345 by	build	1.9.0-coq-dev	00:01:14 Aug 26, 2019
passed	#40565 martin 2bba5157	#19345 by	build	1.8.0-coq-8.8	00:01:54 Aug 26, 2019
failed	#40409 jonathan cfda18a2	#19293 by	process	proof-length	00:00:13 Aug 23, 2019
passed	#40408 jonathan cfda18a2	#19293 by	process	doc	00:03:06 Aug 23, 2019
passed	#40407 jonathan cfda18a2	#19293 by	process	validate	00:04:12 Aug 23, 2019
passed	#40406 jonathan cfda18a2	#19293 by	build	1.9.0-coq-8.9	00:02:05 Aug 23, 2019
failed	#40405 jonathan cfda18a2 allowed to fail	#19293 by	build	1.9.0-coq-dev	00:00:14 Aug 23, 2019
passed	#40404 jonathan cfda18a2	#19293 by	build	1.8.0-coq-8.8	00:02:04 Aug 23, 2019
skipped	#40403 martin d31dbf2b	#19292 by	process	proof-length
skipped	#40402 martin d31dbf2b	#19292 by	process	doc
skipped	#40401 martin d31dbf2b	#19292 by	process	validate
failed	#40400 martin d31dbf2b	#19292 by	build	1.9.0-coq-8.9	00:00:28 Aug 23, 2019
failed	#40399 martin d31dbf2b allowed to fail	#19292 by	build	1.9.0-coq-dev	00:00:14 Aug 23, 2019
passed	#40398 martin d31dbf2b	#19292 by	build	1.8.0-coq-8.8	00:02:07 Aug 23, 2019
skipped	#40397 martin a2e2342c	#19291 by	process	proof-length
skipped	#40396 martin a2e2342c	#19291 by	process	doc
skipped	#40395 martin a2e2342c	#19291 by	process	validate
failed	#40394 martin a2e2342c	#19291 by	build	1.9.0-coq-8.9	00:00:26 Aug 23, 2019
failed	#40393 martin a2e2342c allowed to fail	#19291 by	build	1.9.0-coq-dev	00:00:15 Aug 23, 2019
passed	#40392 martin a2e2342c	#19291 by	build	1.8.0-coq-8.8	00:02:10 Aug 23, 2019
skipped	#40391 martin 2b71ab39	#19290 by	process	proof-length
skipped	#40390 martin 2b71ab39	#19290 by	process	doc
skipped	#40389 martin 2b71ab39	#19290 by	process	validate
failed	#40388 martin 2b71ab39	#19290 by	build	1.9.0-coq-8.9	00:00:29 Aug 23, 2019
failed	#40387 martin 2b71ab39 allowed to fail	#19290 by	build	1.9.0-coq-dev	00:00:14 Aug 23, 2019
passed	#40386 martin 2b71ab39	#19290 by	build	1.8.0-coq-8.8	00:02:00 Aug 23, 2019