Jobs · Sergey Bozhko / rt-proofs

Status	Job	Pipeline	Stage	Name	Timing
skipped	#125399 aSBF_PG_bin_per 0ee9444d	#45851 by	process	proof-state
skipped	#125398 aSBF_PG_bin_per 0ee9444d	#45851 by	process	doc-classic
skipped	#125397 aSBF_PG_bin_per 0ee9444d	#45851 by	process	doc
skipped	#125396 aSBF_PG_bin_per 0ee9444d	#45851 by	process	validate-classic
skipped	#125395 aSBF_PG_bin_per 0ee9444d	#45851 by	process	validate
failed	#125394 aSBF_PG_bin_per 0ee9444d allowed to fail	#45851 by	build	coq-dev	00:02:03 Apr 29, 2021
failed	#125393 aSBF_PG_bin_per 0ee9444d allowed to fail	#45851 by	build	coq-8.12	00:04:28 Apr 29, 2021
failed	#125392 aSBF_PG_bin_per 0ee9444d	#45851 by	build	spell-check	00:00:20 Apr 29, 2021
failed	#125391 aSBF_PG_bin_per 0ee9444d	#45851 by	build	proof-length	00:00:10 Apr 29, 2021
failed	#125390 aSBF_PG_bin_per 0ee9444d	#45851 by	build	build-for-process-classic	00:00:20 Apr 29, 2021
failed	#125389 aSBF_PG_bin_per 0ee9444d	#45851 by	build	build-for-process	00:01:54 Apr 29, 2021
failed	#125388 aSBF_PG_bin_per 0ee9444d	#45851 by	build	1.11.0-coq-8.12	00:05:22 Apr 29, 2021
failed	#125387 aSBF_PG_bin_per 0ee9444d	#45851 by	build	1.11.0-coq-8.11	00:04:28 Apr 29, 2021
failed	#125386 aSBF_PG_bin_per 0ee9444d	#45851 by	build	1.10.0-coq-8.11	00:04:23 Apr 29, 2021
skipped	#125253 aSBF_PG_bin_per e0e7e332	#45794 by	process	proof-state
skipped	#125252 aSBF_PG_bin_per e0e7e332	#45794 by	process	doc-classic
skipped	#125251 aSBF_PG_bin_per e0e7e332	#45794 by	process	doc
skipped	#125250 aSBF_PG_bin_per e0e7e332	#45794 by	process	validate-classic
skipped	#125249 aSBF_PG_bin_per e0e7e332	#45794 by	process	validate
failed	#125248 aSBF_PG_bin_per e0e7e332 allowed to fail	#45794 by	build	coq-dev	00:01:52 Apr 28, 2021
failed	#125247 aSBF_PG_bin_per e0e7e332 allowed to fail	#45794 by	build	coq-8.12	00:06:41 Apr 28, 2021
failed	#125246 aSBF_PG_bin_per e0e7e332	#45794 by	build	spell-check	00:00:18 Apr 28, 2021
failed	#125245 aSBF_PG_bin_per e0e7e332	#45794 by	build	proof-length	00:00:12 Apr 28, 2021
failed	#125244 aSBF_PG_bin_per e0e7e332	#45794 by	build	build-for-process-classic	00:00:15 Apr 28, 2021
failed	#125243 aSBF_PG_bin_per e0e7e332	#45794 by	build	build-for-process	00:01:51 Apr 28, 2021
failed	#125242 aSBF_PG_bin_per e0e7e332	#45794 by	build	1.11.0-coq-8.12	00:03:34 Apr 28, 2021
failed	#125241 aSBF_PG_bin_per e0e7e332	#45794 by	build	1.11.0-coq-8.11	00:06:28 Apr 28, 2021
failed	#125240 aSBF_PG_bin_per e0e7e332	#45794 by	build	1.10.0-coq-8.11	00:06:27 Apr 28, 2021
skipped	#125069 aSBF_PG_bin_per f7438dcb	#45702 by	process	proof-state
skipped	#125068 aSBF_PG_bin_per f7438dcb	#45702 by	process	doc-classic