Status Name Job Pipeline Stage Duration Coverage
skipped proof-state #145918
aSBF_PG_bin_per_dmin
ae851364
#53964 by Sergey Bozhko's avatar process
skipped doc-classic #145917
aSBF_PG_bin_per_dmin
ae851364
#53964 by Sergey Bozhko's avatar process
skipped doc #145916
aSBF_PG_bin_per_dmin
ae851364
#53964 by Sergey Bozhko's avatar process
skipped validate-classic #145915
aSBF_PG_bin_per_dmin
ae851364
#53964 by Sergey Bozhko's avatar process
skipped validate #145914
aSBF_PG_bin_per_dmin
ae851364
#53964 by Sergey Bozhko's avatar process
failed coq-dev #145913
aSBF_PG_bin_per_dmin
ae851364
allowed to fail
#53964 by Sergey Bozhko's avatar build

00:01:58

failed coq-8.12 #145912
aSBF_PG_bin_per_dmin
ae851364
allowed to fail
#53964 by Sergey Bozhko's avatar build

00:00:45

failed spell-check #145911
aSBF_PG_bin_per_dmin
ae851364
#53964 by Sergey Bozhko's avatar build

00:00:19

failed proof-length #145910
aSBF_PG_bin_per_dmin
ae851364
#53964 by Sergey Bozhko's avatar build

00:00:12

failed build-for-process-classic #145909
aSBF_PG_bin_per_dmin
ae851364
#53964 by Sergey Bozhko's avatar build

00:00:17

failed build-for-process #145908
aSBF_PG_bin_per_dmin
ae851364
#53964 by Sergey Bozhko's avatar build

00:00:20

failed 1.11.0-coq-8.12 #145907
aSBF_PG_bin_per_dmin
ae851364
#53964 by Sergey Bozhko's avatar build

00:00:50

failed 1.11.0-coq-8.11 #145906
aSBF_PG_bin_per_dmin
ae851364
#53964 by Sergey Bozhko's avatar build

00:00:47

failed 1.10.0-coq-8.11 #145905
aSBF_PG_bin_per_dmin
ae851364
#53964 by Sergey Bozhko's avatar build

00:00:47

skipped proof-state #145897
aSBF_PG_bin_per_dmin
129f6290
#53959 by Sergey Bozhko's avatar process
skipped doc-classic #145896
aSBF_PG_bin_per_dmin
129f6290
#53959 by Sergey Bozhko's avatar process
skipped doc #145895
aSBF_PG_bin_per_dmin
129f6290
#53959 by Sergey Bozhko's avatar process
skipped validate-classic #145894
aSBF_PG_bin_per_dmin
129f6290
#53959 by Sergey Bozhko's avatar process
skipped validate #145893
aSBF_PG_bin_per_dmin
129f6290
#53959 by Sergey Bozhko's avatar process
failed coq-dev #145892
aSBF_PG_bin_per_dmin
129f6290
allowed to fail
#53959 by Sergey Bozhko's avatar build

00:00:44

failed coq-8.12 #145891
aSBF_PG_bin_per_dmin
129f6290
allowed to fail
#53959 by Sergey Bozhko's avatar build

00:00:57

failed spell-check #145890
aSBF_PG_bin_per_dmin
129f6290
#53959 by Sergey Bozhko's avatar build

00:00:19

failed proof-length #145889
aSBF_PG_bin_per_dmin
129f6290
#53959 by Sergey Bozhko's avatar build

00:00:11

failed build-for-process-classic #145888
aSBF_PG_bin_per_dmin
129f6290
#53959 by Sergey Bozhko's avatar build

00:00:19

failed build-for-process #145887
aSBF_PG_bin_per_dmin
129f6290
#53959 by Sergey Bozhko's avatar build

00:00:20

failed 1.11.0-coq-8.12 #145886
aSBF_PG_bin_per_dmin
129f6290
#53959 by Sergey Bozhko's avatar build

00:00:43

failed 1.11.0-coq-8.11 #145885
aSBF_PG_bin_per_dmin
129f6290
#53959 by Sergey Bozhko's avatar build

00:00:55

failed 1.10.0-coq-8.11 #145884
aSBF_PG_bin_per_dmin
129f6290
#53959 by Sergey Bozhko's avatar build

00:00:44

skipped proof-state #145851
aSBF_PG_bin_per_dmin
710707de
#53954 by Sergey Bozhko's avatar process
skipped doc-classic #145850
aSBF_PG_bin_per_dmin
710707de
#53954 by Sergey Bozhko's avatar process