Jobs · Sergey Bozhko / rt-proofs

Status	Name	Job	Pipeline	Stage	Duration
skipped	proof-state	#145918 aSBF_PG_bin_per_dmin ae851364	#53964 by	process
skipped	doc-classic	#145917 aSBF_PG_bin_per_dmin ae851364	#53964 by	process
skipped	doc	#145916 aSBF_PG_bin_per_dmin ae851364	#53964 by	process
skipped	validate-classic	#145915 aSBF_PG_bin_per_dmin ae851364	#53964 by	process
skipped	validate	#145914 aSBF_PG_bin_per_dmin ae851364	#53964 by	process
failed	coq-dev	#145913 aSBF_PG_bin_per_dmin ae851364 allowed to fail	#53964 by	build	00:01:58 Sep 22, 2021
failed	coq-8.12	#145912 aSBF_PG_bin_per_dmin ae851364 allowed to fail	#53964 by	build	00:00:45 Sep 22, 2021
failed	spell-check	#145911 aSBF_PG_bin_per_dmin ae851364	#53964 by	build	00:00:19 Sep 22, 2021
failed	proof-length	#145910 aSBF_PG_bin_per_dmin ae851364	#53964 by	build	00:00:12 Sep 22, 2021
failed	build-for-process-classic	#145909 aSBF_PG_bin_per_dmin ae851364	#53964 by	build	00:00:17 Sep 22, 2021
failed	build-for-process	#145908 aSBF_PG_bin_per_dmin ae851364	#53964 by	build	00:00:20 Sep 22, 2021
failed	1.11.0-coq-8.12	#145907 aSBF_PG_bin_per_dmin ae851364	#53964 by	build	00:00:50 Sep 22, 2021
failed	1.11.0-coq-8.11	#145906 aSBF_PG_bin_per_dmin ae851364	#53964 by	build	00:00:47 Sep 22, 2021
failed	1.10.0-coq-8.11	#145905 aSBF_PG_bin_per_dmin ae851364	#53964 by	build	00:00:47 Sep 22, 2021
skipped	proof-state	#145897 aSBF_PG_bin_per_dmin 129f6290	#53959 by	process
skipped	doc-classic	#145896 aSBF_PG_bin_per_dmin 129f6290	#53959 by	process
skipped	doc	#145895 aSBF_PG_bin_per_dmin 129f6290	#53959 by	process
skipped	validate-classic	#145894 aSBF_PG_bin_per_dmin 129f6290	#53959 by	process
skipped	validate	#145893 aSBF_PG_bin_per_dmin 129f6290	#53959 by	process
failed	coq-dev	#145892 aSBF_PG_bin_per_dmin 129f6290 allowed to fail	#53959 by	build	00:00:44 Sep 22, 2021
failed	coq-8.12	#145891 aSBF_PG_bin_per_dmin 129f6290 allowed to fail	#53959 by	build	00:00:57 Sep 22, 2021
failed	spell-check	#145890 aSBF_PG_bin_per_dmin 129f6290	#53959 by	build	00:00:19 Sep 22, 2021
failed	proof-length	#145889 aSBF_PG_bin_per_dmin 129f6290	#53959 by	build	00:00:11 Sep 22, 2021
failed	build-for-process-classic	#145888 aSBF_PG_bin_per_dmin 129f6290	#53959 by	build	00:00:19 Sep 22, 2021
failed	build-for-process	#145887 aSBF_PG_bin_per_dmin 129f6290	#53959 by	build	00:00:20 Sep 22, 2021
failed	1.11.0-coq-8.12	#145886 aSBF_PG_bin_per_dmin 129f6290	#53959 by	build	00:00:43 Sep 22, 2021
failed	1.11.0-coq-8.11	#145885 aSBF_PG_bin_per_dmin 129f6290	#53959 by	build	00:00:55 Sep 22, 2021
failed	1.10.0-coq-8.11	#145884 aSBF_PG_bin_per_dmin 129f6290	#53959 by	build	00:00:44 Sep 22, 2021
skipped	proof-state	#145851 aSBF_PG_bin_per_dmin 710707de	#53954 by	process
skipped	doc-classic	#145850 aSBF_PG_bin_per_dmin 710707de	#53954 by	process