Status Job Pipeline Stage Name Timing Coverage
failed #73047
aSBF
d22b8725
allowed to fail
#27725 by Sergey Bozhko's avatar build coq-dev

00:04:49

skipped #72006
ecrts20
6a19cfca
#28687 by Sergey Bozhko's avatar process proof-state
skipped #72005
ecrts20
6a19cfca
#28687 by Sergey Bozhko's avatar process doc-classic
skipped #72004
ecrts20
6a19cfca
#28687 by Sergey Bozhko's avatar process doc
skipped #72003
ecrts20
6a19cfca
#28687 by Sergey Bozhko's avatar process validate-classic
skipped #72002
ecrts20
6a19cfca
#28687 by Sergey Bozhko's avatar process validate
failed #72001
ecrts20
6a19cfca
allowed to fail
#28687 by Sergey Bozhko's avatar build latest-coq-8.10

00:00:34

failed #72000
ecrts20
6a19cfca
allowed to fail
#28687 by Sergey Bozhko's avatar build 1.9.0-coq-dev

00:00:01

failed #71999
ecrts20
6a19cfca
#28687 by Sergey Bozhko's avatar build 1.9.0-coq-8.9

00:00:34

failed #71998
ecrts20
6a19cfca
#28687 by Sergey Bozhko's avatar build spell-check

00:00:32

failed #71997
ecrts20
6a19cfca
#28687 by Sergey Bozhko's avatar build proof-length

00:00:33

failed #71996
ecrts20
6a19cfca
#28687 by Sergey Bozhko's avatar build 1.9.0-coq-8.10-classic

00:00:35

failed #71995
ecrts20
6a19cfca
#28687 by Sergey Bozhko's avatar build 1.9.0-coq-8.10

00:00:32

skipped #71994
ecrts20
ae764e8e
#28686 by Sergey Bozhko's avatar process proof-state
skipped #71993
ecrts20
ae764e8e
#28686 by Sergey Bozhko's avatar process doc-classic
skipped #71992
ecrts20
ae764e8e
#28686 by Sergey Bozhko's avatar process doc
skipped #71991
ecrts20
ae764e8e
#28686 by Sergey Bozhko's avatar process validate-classic
skipped #71990
ecrts20
ae764e8e
#28686 by Sergey Bozhko's avatar process validate
failed #71989
ecrts20
ae764e8e
allowed to fail
#28686 by Sergey Bozhko's avatar build latest-coq-8.10

00:16:17

failed #71988
ecrts20
ae764e8e
allowed to fail
#28686 by Sergey Bozhko's avatar build 1.9.0-coq-dev

00:00:01

failed #71987
ecrts20
ae764e8e
#28686 by Sergey Bozhko's avatar build 1.9.0-coq-8.9

00:00:31

failed #71986
ecrts20
ae764e8e
#28686 by Sergey Bozhko's avatar build spell-check

00:00:31

failed #71985
ecrts20
ae764e8e
#28686 by Sergey Bozhko's avatar build proof-length

00:00:33

failed #71984
ecrts20
ae764e8e
#28686 by Sergey Bozhko's avatar build 1.9.0-coq-8.10-classic

00:00:32

failed #71983
ecrts20
ae764e8e
#28686 by Sergey Bozhko's avatar build 1.9.0-coq-8.10

00:00:34

failed #70652
aSBF
7978f820
#28252 by Sergey Bozhko's avatar process proof-state

00:05:33

passed #70651
aSBF
7978f820
#28252 by Sergey Bozhko's avatar process doc-classic

00:01:12

failed #70650
aSBF
7978f820
#28252 by Sergey Bozhko's avatar process doc

00:02:08

passed #70649
aSBF
7978f820
#28252 by Sergey Bozhko's avatar process validate-classic

00:02:24

passed #70648
aSBF
7978f820
#28252 by Sergey Bozhko's avatar process validate

00:05:41