Jobs · Sergey Bozhko / rt-proofs

Status	Job	Pipeline	Stage	Name	Timing
passed	#47874 port-instantiations 0d392409	#21345 by	process	proof-length	00:00:15 Nov 19, 2019
passed	#47873 port-instantiations 0d392409	#21345 by	process	doc	00:05:41 Nov 19, 2019
passed	#47872 port-instantiations 0d392409	#21345 by	process	validate	00:04:56 Nov 19, 2019
passed	#47871 port-instantiations 0d392409 allowed to fail	#21345 by	build	latest-coq-8.10	00:02:19 Nov 19, 2019
passed	#47870 port-instantiations 0d392409 allowed to fail	#21345 by	build	1.9.0-coq-dev	00:04:12 Nov 19, 2019
passed	#47869 port-instantiations 0d392409	#21345 by	build	1.9.0-coq-8.10	00:03:12 Nov 19, 2019
passed	#47868 port-instantiations 0d392409	#21345 by	build	1.9.0-coq-8.9	00:03:13 Nov 19, 2019
passed	#47833 port-instantiations 833599de	#21330 by	process	proof-length	00:00:15 Nov 18, 2019
passed	#47832 port-instantiations 833599de	#21330 by	process	doc	00:05:42 Nov 18, 2019
passed	#47831 port-instantiations 833599de	#21330 by	process	validate	00:05:07 Nov 18, 2019
passed	#47830 port-instantiations 833599de allowed to fail	#21330 by	build	latest-coq-8.10	00:03:17 Nov 18, 2019
passed	#47829 port-instantiations 833599de allowed to fail	#21330 by	build	1.9.0-coq-dev	00:03:12 Nov 18, 2019
passed	#47828 port-instantiations 833599de	#21330 by	build	1.9.0-coq-8.10	00:03:18 Nov 18, 2019
passed	#47827 port-instantiations 833599de	#21330 by	build	1.9.0-coq-8.9	00:03:04 Nov 18, 2019
passed	#47826 master 8f172d18	#21329 by	process	proof-length	00:00:14 Nov 18, 2019
passed	#47825 master 8f172d18	#21329 by	process	doc	00:04:31 Nov 18, 2019
passed	#47824 master 8f172d18	#21329 by	process	validate	00:04:41 Nov 18, 2019
passed	#47823 master 8f172d18 allowed to fail	#21329 by	build	latest-coq-8.10	00:01:50 Nov 18, 2019
passed	#47822 master 8f172d18 allowed to fail	#21329 by	build	1.9.0-coq-dev	00:02:36 Nov 18, 2019
passed	#47821 master 8f172d18	#21329 by	build	1.9.0-coq-8.10	00:02:50 Nov 18, 2019
passed	#47820 master 8f172d18	#21329 by	build	1.9.0-coq-8.9	00:02:49 Nov 18, 2019
passed	#47819 port-instantiations c7a6a6fa	#21328 by	process	proof-length	00:00:15 Nov 18, 2019
passed	#47818 port-instantiations c7a6a6fa	#21328 by	process	doc	00:00:32 Nov 18, 2019
passed	#47817 port-instantiations c7a6a6fa	#21328 by	process	validate	00:00:58 Nov 18, 2019
passed	#47816 port-instantiations c7a6a6fa allowed to fail	#21328 by	build	latest-coq-8.10	00:02:13 Nov 18, 2019
passed	#47815 port-instantiations c7a6a6fa allowed to fail	#21328 by	build	1.9.0-coq-dev	00:03:18 Nov 18, 2019
passed	#47814 port-instantiations c7a6a6fa	#21328 by	build	1.9.0-coq-8.10	00:03:28 Nov 18, 2019
passed	#47813 port-instantiations c7a6a6fa	#21328 by	build	1.9.0-coq-8.9	00:03:26 Nov 18, 2019
canceled	#47812 port-instantiations 25c61001	#21327 by	process	proof-length	Nov 18, 2019
canceled	#47811 port-instantiations 25c61001	#21327 by	process	doc	Nov 18, 2019