Status Job Pipeline Stage Name Timing Coverage
passed #62121
da3
73147d9d
#26060 by Sergey Bozhko's avatar process proof-state

00:05:27

passed #62120
da3
73147d9d
#26060 by Sergey Bozhko's avatar process doc-classic

00:01:01

passed #62119
da3
73147d9d
#26060 by Sergey Bozhko's avatar process doc

00:06:26

passed #62118
da3
73147d9d
#26060 by Sergey Bozhko's avatar process validate-classic

00:02:01

passed #62117
da3
73147d9d
#26060 by Sergey Bozhko's avatar process validate

00:02:00

failed #62116
da3
73147d9d
allowed to fail
#26060 by Sergey Bozhko's avatar build coq-dev

00:06:49

failed #62115
da3
73147d9d
allowed to fail
#26060 by Sergey Bozhko's avatar build coq-8.10

00:06:29

failed #62114
da3
73147d9d
#26060 by Sergey Bozhko's avatar build spell-check

00:00:56

failed #62113
da3
73147d9d
#26060 by Sergey Bozhko's avatar build proof-length

00:00:33

passed #62112
da3
73147d9d
#26060 by Sergey Bozhko's avatar build build-for-process-classic

00:08:11

passed #62111
da3
73147d9d
#26060 by Sergey Bozhko's avatar build build-for-process

00:04:57

passed #62110
da3
73147d9d
#26060 by Sergey Bozhko's avatar build 1.10.0-coq-8.11

00:11:36

passed #62109
da3
73147d9d
#26060 by Sergey Bozhko's avatar build 1.10.0-coq-8.10

00:11:59

failed #62108
da3
73147d9d
#26060 by Sergey Bozhko's avatar build 1.10.0-coq-8.9

00:01:13

passed #62107
da3
73147d9d
#26060 by Sergey Bozhko's avatar build 1.9.0-coq-8.11

00:12:55

passed #62106
da3
73147d9d
#26060 by Sergey Bozhko's avatar build 1.9.0-coq-8.10

00:12:51

failed #62105
da3
73147d9d
#26060 by Sergey Bozhko's avatar build 1.9.0-coq-8.9

00:01:12

passed #62104
da3
4bbd0a16
#26059 by Sergey Bozhko's avatar process proof-state

00:10:24

passed #62103
da3
4bbd0a16
#26059 by Sergey Bozhko's avatar process doc-classic

00:17:45

passed #62102
da3
4bbd0a16
#26059 by Sergey Bozhko's avatar process doc

00:00:47

passed #62101
da3
4bbd0a16
#26059 by Sergey Bozhko's avatar process validate-classic

00:02:53

passed #62100
da3
4bbd0a16
#26059 by Sergey Bozhko's avatar process validate

00:02:10

failed #62099
da3
4bbd0a16
allowed to fail
#26059 by Sergey Bozhko's avatar build coq-dev

00:07:40

failed #62098
da3
4bbd0a16
allowed to fail
#26059 by Sergey Bozhko's avatar build coq-8.10

00:07:00

failed #62097
da3
4bbd0a16
#26059 by Sergey Bozhko's avatar build spell-check

00:01:02

failed #62096
da3
4bbd0a16
#26059 by Sergey Bozhko's avatar build proof-length

00:01:02

passed #62095
da3
4bbd0a16
#26059 by Sergey Bozhko's avatar build build-for-process-classic

00:07:44

passed #62094
da3
4bbd0a16
#26059 by Sergey Bozhko's avatar build build-for-process

00:04:07

passed #62093
da3
4bbd0a16
#26059 by Sergey Bozhko's avatar build 1.10.0-coq-8.11

00:13:07

passed #62092
da3
4bbd0a16
#26059 by Sergey Bozhko's avatar build 1.10.0-coq-8.10

00:13:01