Status Job Pipeline Stage Name Timing Coverage
passed #52556
implementation-scheduler
2d4ee7b6
#22733 by Marco Perronet's avatar process proof-state

00:01:50

skipped #52555
implementation-scheduler
2d4ee7b6
#22733 by Marco Perronet's avatar process doc-classic
passed #52554
implementation-scheduler
2d4ee7b6
#22733 by Marco Perronet's avatar process doc

00:00:24

skipped #52553
implementation-scheduler
2d4ee7b6
#22733 by Marco Perronet's avatar process validate-classic
passed #52552
implementation-scheduler
2d4ee7b6
#22733 by Marco Perronet's avatar process validate

00:00:47

passed #52551
implementation-scheduler
2d4ee7b6
allowed to fail
#22733 by Marco Perronet's avatar build latest-coq-8.10

00:01:32

failed #52550
implementation-scheduler
2d4ee7b6
allowed to fail
#22733 by Marco Perronet's avatar build 1.9.0-coq-dev

00:01:04

passed #52549
implementation-scheduler
2d4ee7b6
#22733 by Marco Perronet's avatar build 1.9.0-coq-8.9

00:01:31

passed #52548
implementation-scheduler
2d4ee7b6
#22733 by Marco Perronet's avatar build spell-check

00:00:34

passed #52547
implementation-scheduler
2d4ee7b6
#22733 by Marco Perronet's avatar build proof-length

00:00:24

failed #52546
implementation-scheduler
2d4ee7b6
#22733 by Marco Perronet's avatar build 1.9.0-coq-8.10-classic

00:00:27

passed #52545
implementation-scheduler
2d4ee7b6
#22733 by Marco Perronet's avatar build 1.9.0-coq-8.10

00:01:36

skipped #52538
implementation-scheduler
2db8e849
#22726 by Marco Perronet's avatar process proof-state
skipped #52537
implementation-scheduler
2db8e849
#22726 by Marco Perronet's avatar process doc-classic
skipped #52536
implementation-scheduler
2db8e849
#22726 by Marco Perronet's avatar process doc
skipped #52535
implementation-scheduler
2db8e849
#22726 by Marco Perronet's avatar process validate-classic
skipped #52534
implementation-scheduler
2db8e849
#22726 by Marco Perronet's avatar process validate
failed #52533
implementation-scheduler
2db8e849
allowed to fail
#22726 by Marco Perronet's avatar build latest-coq-8.10

00:00:25

failed #52532
implementation-scheduler
2db8e849
allowed to fail
#22726 by Marco Perronet's avatar build 1.9.0-coq-dev

00:00:58

failed #52531
implementation-scheduler
2db8e849
#22726 by Marco Perronet's avatar build 1.9.0-coq-8.9

00:00:24

passed #52530
implementation-scheduler
2db8e849
#22726 by Marco Perronet's avatar build spell-check

00:00:27

passed #52529
implementation-scheduler
2db8e849
#22726 by Marco Perronet's avatar build proof-length

00:00:23

failed #52528
implementation-scheduler
2db8e849
#22726 by Marco Perronet's avatar build 1.9.0-coq-8.10-classic

00:00:25

failed #52527
implementation-scheduler
2db8e849
#22726 by Marco Perronet's avatar build 1.9.0-coq-8.10

00:00:25

passed #51741
master
ee05f255
#22384 by Marco Perronet's avatar process proof-state

00:02:03

passed #51740
master
ee05f255
#22384 by Marco Perronet's avatar process doc-classic

00:00:31

passed #51739
master
ee05f255
#22384 by Marco Perronet's avatar process doc

00:00:30

passed #51738
master
ee05f255
#22384 by Marco Perronet's avatar process validate-classic

00:00:58

passed #51737
master
ee05f255
#22384 by Marco Perronet's avatar process validate

00:00:56

passed #51736
master
ee05f255
allowed to fail
#22384 by Marco Perronet's avatar build latest-coq-8.10

00:01:45