Jobs · Xiaojie Guo / rt-proofs

Status	Name	Job	Pipeline	Stage	Duration
passed	proof-state	#57834 master 817da8b4	#24704 by	process	00:02:16 Feb 28, 2020
passed	doc-classic	#57833 master 817da8b4	#24704 by	process	00:00:54 Feb 28, 2020
failed	doc	#57832 master 817da8b4	#24704 by	process	00:02:41 Feb 28, 2020
passed	validate-classic	#57831 master 817da8b4	#24704 by	process	00:02:15 Feb 28, 2020
passed	validate	#57830 master 817da8b4	#24704 by	process	00:05:11 Feb 28, 2020
passed	coq-dev	#57829 master 817da8b4	#24704 by	build	00:10:12 Feb 28, 2020
passed	coq-8.10	#57828 master 817da8b4	#24704 by	build	00:10:48 Feb 28, 2020
passed	spell-check	#57827 master 817da8b4	#24704 by	build	00:00:48 Feb 28, 2020
passed	proof-length	#57826 master 817da8b4	#24704 by	build	00:00:41 Feb 28, 2020
passed	build-for-process-classic	#57825 master 817da8b4	#24704 by	build	00:07:11 Feb 28, 2020
passed	build-for-process	#57824 master 817da8b4	#24704 by	build	00:03:20 Feb 28, 2020
passed	1.10.0-coq-8.11	#57823 master 817da8b4	#24704 by	build	00:11:18 Feb 28, 2020
passed	1.10.0-coq-8.10	#57822 master 817da8b4	#24704 by	build	00:11:19 Feb 28, 2020
passed	1.10.0-coq-8.9	#57821 master 817da8b4	#24704 by	build	00:11:19 Feb 28, 2020
passed	1.9.0-coq-8.11	#57820 master 817da8b4	#24704 by	build	00:11:14 Feb 28, 2020
passed	1.9.0-coq-8.10	#57819 master 817da8b4	#24704 by	build	00:11:09 Feb 28, 2020
passed	1.9.0-coq-8.9	#57818 master 817da8b4	#24704 by	build	00:11:17 Feb 28, 2020
passed	proof-length	#36287 master f7aaa70c	#18212 by	process	00:00:17 Jul 05, 2019
passed	doc	#36286 master f7aaa70c	#18212 by	process	00:03:21 Jul 05, 2019
passed	validate	#36285 master f7aaa70c	#18212 by	process	00:01:36 Jul 05, 2019
passed	1.9.0-coq-8.9	#36284 master f7aaa70c	#18212 by	build	00:02:24 Jul 05, 2019
failed	1.9.0-coq-dev	#36283 master f7aaa70c allowed to fail	#18212 by	build	00:00:18 Jul 05, 2019
passed	1.8.0-coq-8.8	#36282 master f7aaa70c	#18212 by	build	00:02:23 Jul 05, 2019