Jobs · Sergey Bozhko / rt-proofs

Status	Job	Pipeline	Stage	Name	Timing
passed	#62121 da3 73147d9d	#26060 by	process	proof-state	00:05:27 Apr 03, 2020
passed	#62120 da3 73147d9d	#26060 by	process	doc-classic	00:01:01 Apr 03, 2020
passed	#62119 da3 73147d9d	#26060 by	process	doc	00:06:26 Apr 03, 2020
passed	#62118 da3 73147d9d	#26060 by	process	validate-classic	00:02:01 Apr 03, 2020
passed	#62117 da3 73147d9d	#26060 by	process	validate	00:02:00 Apr 03, 2020
failed	#62116 da3 73147d9d allowed to fail	#26060 by	build	coq-dev	00:06:49 Apr 03, 2020
failed	#62115 da3 73147d9d allowed to fail	#26060 by	build	coq-8.10	00:06:29 Apr 03, 2020
failed	#62114 da3 73147d9d	#26060 by	build	spell-check	00:00:56 Apr 03, 2020
failed	#62113 da3 73147d9d	#26060 by	build	proof-length	00:00:33 Apr 03, 2020
passed	#62112 da3 73147d9d	#26060 by	build	build-for-process-classic	00:08:11 Apr 03, 2020
passed	#62111 da3 73147d9d	#26060 by	build	build-for-process	00:04:57 Apr 03, 2020
passed	#62110 da3 73147d9d	#26060 by	build	1.10.0-coq-8.11	00:11:36 Apr 03, 2020
passed	#62109 da3 73147d9d	#26060 by	build	1.10.0-coq-8.10	00:11:59 Apr 03, 2020
failed	#62108 da3 73147d9d	#26060 by	build	1.10.0-coq-8.9	00:01:13 Apr 03, 2020
passed	#62107 da3 73147d9d	#26060 by	build	1.9.0-coq-8.11	00:12:55 Apr 03, 2020
passed	#62106 da3 73147d9d	#26060 by	build	1.9.0-coq-8.10	00:12:51 Apr 03, 2020
failed	#62105 da3 73147d9d	#26060 by	build	1.9.0-coq-8.9	00:01:12 Apr 03, 2020
passed	#62104 da3 4bbd0a16	#26059 by	process	proof-state	00:10:24 Apr 03, 2020
passed	#62103 da3 4bbd0a16	#26059 by	process	doc-classic	00:17:45 Apr 03, 2020
passed	#62102 da3 4bbd0a16	#26059 by	process	doc	00:00:47 Apr 03, 2020
passed	#62101 da3 4bbd0a16	#26059 by	process	validate-classic	00:02:53 Apr 03, 2020
passed	#62100 da3 4bbd0a16	#26059 by	process	validate	00:02:10 Apr 03, 2020
failed	#62099 da3 4bbd0a16 allowed to fail	#26059 by	build	coq-dev	00:07:40 Apr 03, 2020
failed	#62098 da3 4bbd0a16 allowed to fail	#26059 by	build	coq-8.10	00:07:00 Apr 03, 2020
failed	#62097 da3 4bbd0a16	#26059 by	build	spell-check	00:01:02 Apr 03, 2020
failed	#62096 da3 4bbd0a16	#26059 by	build	proof-length	00:01:02 Apr 03, 2020
passed	#62095 da3 4bbd0a16	#26059 by	build	build-for-process-classic	00:07:44 Apr 03, 2020
passed	#62094 da3 4bbd0a16	#26059 by	build	build-for-process	00:04:07 Apr 03, 2020
passed	#62093 da3 4bbd0a16	#26059 by	build	1.10.0-coq-8.11	00:13:07 Apr 03, 2020
passed	#62092 da3 4bbd0a16	#26059 by	build	1.10.0-coq-8.10	00:13:01 Apr 03, 2020