Jobs · Sergey Bozhko / rt-proofs

Status	Job	Pipeline	Stage	Name	Timing
failed	#99198 aSBF_PG 6a2ea65a	#36389 by	process	proof-state	00:03:01 Oct 26, 2020
skipped	#99197 aSBF_PG 6a2ea65a	#36389 by	process	doc-classic
passed	#99196 aSBF_PG 6a2ea65a	#36389 by	process	doc	00:00:59 Oct 26, 2020
skipped	#99195 aSBF_PG 6a2ea65a	#36389 by	process	validate-classic
passed	#99194 aSBF_PG 6a2ea65a	#36389 by	process	validate	00:01:38 Oct 26, 2020
passed	#99193 aSBF_PG 6a2ea65a	#36389 by	build	coq-dev	00:07:25 Oct 26, 2020
passed	#99192 aSBF_PG 6a2ea65a	#36389 by	build	coq-8.12	00:23:26 Oct 26, 2020
failed	#99191 aSBF_PG 6a2ea65a	#36389 by	build	spell-check	00:02:02 Oct 26, 2020
failed	#99190 aSBF_PG 6a2ea65a	#36389 by	build	proof-length	00:01:39 Oct 26, 2020
failed	#99189 aSBF_PG 6a2ea65a	#36389 by	build	build-for-process-classic	00:02:02 Oct 26, 2020
passed	#99188 aSBF_PG 6a2ea65a	#36389 by	build	build-for-process	00:02:47 Oct 26, 2020
passed	#99187 aSBF_PG 6a2ea65a	#36389 by	build	1.11.0-coq-8.12	00:08:46 Oct 26, 2020
passed	#99186 aSBF_PG 6a2ea65a	#36389 by	build	1.11.0-coq-8.11	00:06:36 Oct 26, 2020
passed	#99185 aSBF_PG 6a2ea65a	#36389 by	build	1.10.0-coq-8.11	00:06:26 Oct 26, 2020
failed	#99173 aSBF_PG df3fe2fa	#36381 by	process	proof-state	00:02:59 Oct 26, 2020
skipped	#99172 aSBF_PG df3fe2fa	#36381 by	process	doc-classic
passed	#99171 aSBF_PG df3fe2fa	#36381 by	process	doc	00:00:21 Oct 26, 2020
skipped	#99170 aSBF_PG df3fe2fa	#36381 by	process	validate-classic
passed	#99169 aSBF_PG df3fe2fa	#36381 by	process	validate	00:00:56 Oct 26, 2020
passed	#99168 aSBF_PG df3fe2fa	#36381 by	build	coq-dev	00:09:54 Oct 26, 2020
passed	#99167 aSBF_PG df3fe2fa	#36381 by	build	coq-8.12	00:10:15 Oct 26, 2020
failed	#99166 aSBF_PG df3fe2fa	#36381 by	build	spell-check	00:02:14 Oct 26, 2020
failed	#99165 aSBF_PG df3fe2fa	#36381 by	build	proof-length	00:00:08 Oct 26, 2020
failed	#99164 aSBF_PG df3fe2fa	#36381 by	build	build-for-process-classic	00:03:23 Oct 26, 2020
passed	#99163 aSBF_PG df3fe2fa	#36381 by	build	build-for-process	00:19:53 Oct 26, 2020
passed	#99162 aSBF_PG df3fe2fa	#36381 by	build	1.11.0-coq-8.12	00:05:20 Oct 26, 2020
passed	#99161 aSBF_PG df3fe2fa	#36381 by	build	1.11.0-coq-8.11	00:11:54 Oct 26, 2020
passed	#99160 aSBF_PG df3fe2fa	#36381 by	build	1.10.0-coq-8.11	00:11:54 Oct 26, 2020
failed	#98878 aSBF_PG 73634a2a	#36259 by	process	proof-state	00:02:55 Oct 23, 2020
skipped	#98877 aSBF_PG 73634a2a	#36259 by	process	doc-classic