Status Job Pipeline Stage Name Timing Coverage
passed #100006
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar process proof-state

00:06:20

passed #100005
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar process doc-classic

00:01:15

passed #100004
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar process doc

00:01:00

passed #100003
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar process validate-classic

00:02:13

passed #100002
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar process validate

00:02:30

passed #100001
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar build coq-dev

00:08:33

passed #100000
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar build coq-8.12

00:14:03

failed #99999
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar build spell-check

00:02:04

passed #99998
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar build proof-length

00:00:08

passed #99997
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar build build-for-process-classic

00:04:56

passed #99996
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar build build-for-process

00:02:24

passed #99995
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar build 1.11.0-coq-8.12

00:17:04

passed #99994
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar build 1.11.0-coq-8.11

00:06:03

passed #99993
delta_min_theory
62c5aa23
#36703 by Marco Maida's avatar build 1.10.0-coq-8.11

00:16:30

passed #99991
master
109324ac
#36701 by Marco Maida's avatar process proof-state

00:03:58

skipped #99990
master
109324ac
#36701 by Marco Maida's avatar process doc-classic
passed #99989
master
109324ac
#36701 by Marco Maida's avatar process doc

00:00:39

skipped #99988
master
109324ac
#36701 by Marco Maida's avatar process validate-classic
passed #99987
master
109324ac
#36701 by Marco Maida's avatar process validate

00:01:17

passed #99986
master
109324ac
#36701 by Marco Maida's avatar build coq-dev

00:11:28

passed #99985
master
109324ac
#36701 by Marco Maida's avatar build coq-8.12

00:20:48

passed #99984
master
109324ac
#36701 by Marco Maida's avatar build spell-check

00:01:25

passed #99983
master
109324ac
#36701 by Marco Maida's avatar build proof-length

00:00:08

failed #99982
master
109324ac
#36701 by Marco Maida's avatar build build-for-process-classic

00:06:10

passed #99981
master
109324ac
#36701 by Marco Maida's avatar build build-for-process

00:08:04

passed #99980
master
109324ac
#36701 by Marco Maida's avatar build 1.11.0-coq-8.12

00:05:06

passed #99979
master
109324ac
#36701 by Marco Maida's avatar build 1.11.0-coq-8.11

00:06:08

passed #99978
master
109324ac
#36701 by Marco Maida's avatar build 1.10.0-coq-8.11

00:06:03

passed #92547
max_arrivals_to_rbf
0e90f6bf
#34407 by Björn Brandenburg's avatar process proof-state

00:03:18

passed #92546
max_arrivals_to_rbf
0e90f6bf
#34407 by Björn Brandenburg's avatar process doc-classic

00:01:14