Status Job Pipeline Stage Name Timing Coverage
passed #79560
offset
2f8f1661
#31374 by Marco Maida's avatar build 1.10.0-coq-8.9

00:05:22

passed #79559
offset
2f8f1661
#31374 by Marco Maida's avatar build 1.9.0-coq-8.11

00:07:45

passed #79558
offset
2f8f1661
#31374 by Marco Maida's avatar build 1.9.0-coq-8.10

00:05:25

passed #79557
offset
2f8f1661
#31374 by Marco Maida's avatar build 1.9.0-coq-8.9

00:07:48

passed #79556
offset
f8907dfd
#31373 by Marco Maida's avatar process proof-state

00:04:02

passed #79555
offset
f8907dfd
#31373 by Marco Maida's avatar process doc-classic

00:00:33

passed #79554
offset
f8907dfd
#31373 by Marco Maida's avatar process doc

00:01:11

passed #79553
offset
f8907dfd
#31373 by Marco Maida's avatar process validate-classic

00:02:28

passed #79552
offset
f8907dfd
#31373 by Marco Maida's avatar process validate

00:01:42

failed #79551
offset
f8907dfd
allowed to fail
#31373 by Marco Maida's avatar build coq-dev

00:03:54

failed #79550
offset
f8907dfd
allowed to fail
#31373 by Marco Maida's avatar build coq-8.10

00:06:20

passed #79549
offset
f8907dfd
#31373 by Marco Maida's avatar build spell-check

00:16:38

passed #79548
offset
f8907dfd
#31373 by Marco Maida's avatar build proof-length

00:01:04

passed #79547
offset
f8907dfd
#31373 by Marco Maida's avatar build build-for-process-classic

00:03:31

passed #79546
offset
f8907dfd
#31373 by Marco Maida's avatar build build-for-process

00:02:01

passed #79545
offset
f8907dfd
#31373 by Marco Maida's avatar build 1.10.0-coq-8.11

00:11:56

passed #79544
offset
f8907dfd
#31373 by Marco Maida's avatar build 1.10.0-coq-8.10

00:11:57

passed #79543
offset
f8907dfd
#31373 by Marco Maida's avatar build 1.10.0-coq-8.9

00:11:56

passed #79542
offset
f8907dfd
#31373 by Marco Maida's avatar build 1.9.0-coq-8.11

00:11:56

passed #79541
offset
f8907dfd
#31373 by Marco Maida's avatar build 1.9.0-coq-8.10

00:11:56

passed #79540
offset
f8907dfd
#31373 by Marco Maida's avatar build 1.9.0-coq-8.9

00:11:55

passed #79448
offset
17e13882
#31345 by Vedant Chavda's avatar process proof-state

00:05:02

passed #79447
offset
17e13882
#31345 by Vedant Chavda's avatar process doc-classic

00:00:33

passed #79446
offset
17e13882
#31345 by Vedant Chavda's avatar process doc

00:00:44

passed #79445
offset
17e13882
#31345 by Vedant Chavda's avatar process validate-classic

00:01:40

passed #79444
offset
17e13882
#31345 by Vedant Chavda's avatar process validate

00:02:49

failed #79443
offset
17e13882
allowed to fail
#31345 by Vedant Chavda's avatar build coq-dev

00:05:06

failed #79442
offset
17e13882
allowed to fail
#31345 by Vedant Chavda's avatar build coq-8.10

00:04:22

passed #79441
offset
17e13882
#31345 by Vedant Chavda's avatar build spell-check

00:00:59

passed #79440
offset
17e13882
#31345 by Vedant Chavda's avatar build proof-length

00:16:30