Status Job Pipeline Stage Name Timing Coverage
passed #50367
implementation-scheduler
a9fe315e
#22034 by Marco Perronet's avatar process proof-state

00:01:54

passed #50366
implementation-scheduler
a9fe315e
#22034 by Marco Perronet's avatar process doc-classic

00:00:30

passed #50365
implementation-scheduler
a9fe315e
#22034 by Marco Perronet's avatar process doc

00:00:22

passed #50364
implementation-scheduler
a9fe315e
#22034 by Marco Perronet's avatar process validate-classic

00:00:56

passed #50363
implementation-scheduler
a9fe315e
#22034 by Marco Perronet's avatar process validate

00:00:49

passed #50362
implementation-scheduler
a9fe315e
allowed to fail
#22034 by Marco Perronet's avatar build latest-coq-8.10

00:01:48

failed #50361
implementation-scheduler
a9fe315e
allowed to fail
#22034 by Marco Perronet's avatar build 1.9.0-coq-dev

00:01:13

passed #50360
implementation-scheduler
a9fe315e
#22034 by Marco Perronet's avatar build 1.9.0-coq-8.9

00:01:45

passed #50359
implementation-scheduler
a9fe315e
#22034 by Marco Perronet's avatar build spell-check

00:00:33

passed #50358
implementation-scheduler
a9fe315e
#22034 by Marco Perronet's avatar build proof-length

00:00:25

passed #50357
implementation-scheduler
a9fe315e
#22034 by Marco Perronet's avatar build 1.9.0-coq-8.10-classic

00:02:57

passed #50356
implementation-scheduler
a9fe315e
#22034 by Marco Perronet's avatar build 1.9.0-coq-8.10

00:01:47

skipped #50355
implementation-scheduler
ff11b32c
#22033 by Marco Perronet's avatar process proof-state
passed #50354
implementation-scheduler
ff11b32c
#22033 by Marco Perronet's avatar process doc-classic

00:00:29

skipped #50353
implementation-scheduler
ff11b32c
#22033 by Marco Perronet's avatar process doc
passed #50352
implementation-scheduler
ff11b32c
#22033 by Marco Perronet's avatar process validate-classic

00:00:54

skipped #50351
implementation-scheduler
ff11b32c
#22033 by Marco Perronet's avatar process validate
failed #50350
implementation-scheduler
ff11b32c
allowed to fail
#22033 by Marco Perronet's avatar build latest-coq-8.10

00:00:38

failed #50349
implementation-scheduler
ff11b32c
allowed to fail
#22033 by Marco Perronet's avatar build 1.9.0-coq-dev

00:00:39

failed #50348
implementation-scheduler
ff11b32c
#22033 by Marco Perronet's avatar build 1.9.0-coq-8.9

00:00:39

passed #50347
implementation-scheduler
ff11b32c
#22033 by Marco Perronet's avatar build spell-check

00:00:27

passed #50346
implementation-scheduler
ff11b32c
#22033 by Marco Perronet's avatar build proof-length

00:00:26

passed #50345
implementation-scheduler
ff11b32c
#22033 by Marco Perronet's avatar build 1.9.0-coq-8.10-classic

00:02:08

failed #50344
implementation-scheduler
ff11b32c
#22033 by Marco Perronet's avatar build 1.9.0-coq-8.10

00:00:39

skipped #50314
implementation-scheduler
c03bd3cc
#22026 by Marco Perronet's avatar process proof-state
passed #50313
implementation-scheduler
c03bd3cc
#22026 by Marco Perronet's avatar process doc-classic

00:00:29

skipped #50312
implementation-scheduler
c03bd3cc
#22026 by Marco Perronet's avatar process doc
passed #50311
implementation-scheduler
c03bd3cc
#22026 by Marco Perronet's avatar process validate-classic

00:00:54

skipped #50310
implementation-scheduler
c03bd3cc
#22026 by Marco Perronet's avatar process validate
failed #50309
implementation-scheduler
c03bd3cc
allowed to fail
#22026 by Marco Perronet's avatar build latest-coq-8.10

00:00:37