Status Job Pipeline Stage Name Timing Coverage
passed #44292
coq810
89e750e7
#20292 by Pierre Roux's avatar process proof-length

00:00:15

passed #44291
coq810
89e750e7
#20292 by Pierre Roux's avatar process doc

00:00:27

passed #44290
coq810
89e750e7
#20292 by Pierre Roux's avatar process validate

00:00:51

passed #44289
coq810
89e750e7
allowed to fail
#20292 by Pierre Roux's avatar build 1.9.0-coq-dev

00:02:35

passed #44288
coq810
89e750e7
#20292 by Pierre Roux's avatar build 1.9.0-coq-8.10

00:02:47

passed #44287
coq810
89e750e7
#20292 by Pierre Roux's avatar build 1.9.0-coq-8.9

00:02:46

skipped #44280
coq810
4c0d3b23
#20290 by Björn Brandenburg's avatar process proof-length
skipped #44279
coq810
4c0d3b23
#20290 by Björn Brandenburg's avatar process doc
skipped #44278
coq810
4c0d3b23
#20290 by Björn Brandenburg's avatar process validate
failed #44277
coq810
4c0d3b23
allowed to fail
#20290 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:01:06

failed #44276
coq810
4c0d3b23
#20290 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:01:18

passed #44275
coq810
4c0d3b23
#20290 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:21

skipped #44268
coq810
e08abf53
#20288 by Björn Brandenburg's avatar process proof-length
skipped #44267
coq810
e08abf53
#20288 by Björn Brandenburg's avatar process doc
skipped #44266
coq810
e08abf53
#20288 by Björn Brandenburg's avatar process validate
failed #44265
coq810
e08abf53
allowed to fail
#20288 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:00:26

failed #44264
coq810
e08abf53
#20288 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:00:27

passed #44263
coq810
e08abf53
#20288 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:01:58

skipped #44262
coq810
6295f895
#20287 by Björn Brandenburg's avatar process proof-length
skipped #44261
coq810
6295f895
#20287 by Björn Brandenburg's avatar process doc
skipped #44260
coq810
6295f895
#20287 by Björn Brandenburg's avatar process validate
failed #44259
coq810
6295f895
allowed to fail
#20287 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:00:23

failed #44258
coq810
6295f895
#20287 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:00:25

failed #44257
coq810
6295f895
#20287 by Björn Brandenburg's avatar build 1.8.0-coq-8.9

00:00:15

skipped #44256
coq810
a82e62e9
#20286 by Pierre Roux's avatar process proof-length
skipped #44255
coq810
a82e62e9
#20286 by Pierre Roux's avatar process doc
skipped #44254
coq810
a82e62e9
#20286 by Pierre Roux's avatar process validate
passed #44253
coq810
a82e62e9
#20286 by Pierre Roux's avatar build 1.9.0-coq-8.9

00:02:47

failed #44252
coq810
a82e62e9
allowed to fail
#20286 by Pierre Roux's avatar build 1.9.0-coq-dev

00:00:30

failed #44251
coq810
a82e62e9
#20286 by Pierre Roux's avatar build 1.9.0-coq-8.10

00:00:37