Status Job Pipeline Stage Name Timing Coverage
passed #83200
coq-8.12
8cb2cdc6
#32256 by Björn Brandenburg's avatar process proof-state

00:04:01

passed #83199
coq-8.12
8cb2cdc6
#32256 by Björn Brandenburg's avatar process doc-classic

00:00:44

passed #83198
coq-8.12
8cb2cdc6
#32256 by Björn Brandenburg's avatar process doc

00:00:18

passed #83197
coq-8.12
8cb2cdc6
#32256 by Björn Brandenburg's avatar process validate-classic

00:01:30

passed #83196
coq-8.12
8cb2cdc6
#32256 by Björn Brandenburg's avatar process validate

00:00:50

failed #83195
coq-8.12
8cb2cdc6
allowed to fail
#32256 by Björn Brandenburg's avatar build coq-dev

00:03:48

failed #83194
coq-8.12
8cb2cdc6
allowed to fail
#32256 by Björn Brandenburg's avatar build coq-8.12

00:04:33

passed #83193
coq-8.12
8cb2cdc6
#32256 by Björn Brandenburg's avatar build spell-check

00:00:15

passed #83192
coq-8.12
8cb2cdc6
#32256 by Björn Brandenburg's avatar build proof-length

00:00:08

passed #83191
coq-8.12
8cb2cdc6
#32256 by Björn Brandenburg's avatar build build-for-process-classic

00:05:05

passed #83190
coq-8.12
8cb2cdc6
#32256 by Björn Brandenburg's avatar build build-for-process

00:02:54

failed #83189
coq-8.12
8cb2cdc6
#32256 by Björn Brandenburg's avatar build 1.11.0-coq-8.12

00:02:17

failed #83188
coq-8.12
8cb2cdc6
#32256 by Björn Brandenburg's avatar build 1.11.0-coq-8.11

00:04:32

passed #83187
coq-8.12
8cb2cdc6
#32256 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:06:36

canceled #83186
coq-8.12
e6ca7d14
#32255 by Björn Brandenburg's avatar process proof-state

canceled #83185
coq-8.12
e6ca7d14
#32255 by Björn Brandenburg's avatar process doc-classic

canceled #83184
coq-8.12
e6ca7d14
#32255 by Björn Brandenburg's avatar process doc

canceled #83183
coq-8.12
e6ca7d14
#32255 by Björn Brandenburg's avatar process validate-classic

canceled #83182
coq-8.12
e6ca7d14
#32255 by Björn Brandenburg's avatar process validate

canceled #83181
coq-8.12
e6ca7d14
allowed to fail
#32255 by Björn Brandenburg's avatar build coq-dev

00:02:29

canceled #83180
coq-8.12
e6ca7d14
allowed to fail
#32255 by Björn Brandenburg's avatar build coq-8.12

00:02:56

passed #83179
coq-8.12
e6ca7d14
#32255 by Björn Brandenburg's avatar build spell-check

00:00:16

passed #83178
coq-8.12
e6ca7d14
#32255 by Björn Brandenburg's avatar build proof-length

00:00:28

canceled #83177
coq-8.12
e6ca7d14
#32255 by Björn Brandenburg's avatar build build-for-process-classic

00:02:57

canceled #83176
coq-8.12
e6ca7d14
#32255 by Björn Brandenburg's avatar build build-for-process

00:02:57

failed #83175
coq-8.12
e6ca7d14
#32255 by Björn Brandenburg's avatar build 1.11.0-coq-8.12

00:02:31

canceled #83174
coq-8.12
e6ca7d14
#32255 by Björn Brandenburg's avatar build 1.11.0-coq-8.11

00:02:56

canceled #83173
coq-8.12
e6ca7d14
#32255 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:02:33

canceled #83172
coq-8.12
e6ca7d14
#32255 by Björn Brandenburg's avatar build 1.9.0-coq-8.11

00:02:39

canceled #83171
coq-8.12
5647160b
#32254 by Björn Brandenburg's avatar process proof-state

00:03:03