Status Job Pipeline Stage Name Timing Coverage
passed #75779
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar process proof-state

00:03:52

passed #75778
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar process doc-classic

00:00:37

passed #75777
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar process doc

00:00:24

passed #75776
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar process validate-classic

00:01:20

passed #75775
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar process validate

00:02:00

failed #75774
better_guidelines
abaaa22b
allowed to fail
#29922 by Marco Maida's avatar build coq-dev

00:03:06

failed #75773
better_guidelines
abaaa22b
allowed to fail
#29922 by Marco Maida's avatar build coq-8.10

00:02:58

passed #75772
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar build spell-check

00:00:54

passed #75771
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar build proof-length

00:00:16

passed #75770
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar build build-for-process-classic

00:06:38

passed #75769
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar build build-for-process

00:02:07

passed #75768
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar build 1.10.0-coq-8.11

00:05:32

passed #75767
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar build 1.10.0-coq-8.10

00:05:32

passed #75766
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar build 1.10.0-coq-8.9

00:05:30

passed #75765
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar build 1.9.0-coq-8.11

00:12:04

passed #75764
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar build 1.9.0-coq-8.10

00:11:58

passed #75763
better_guidelines
abaaa22b
#29922 by Marco Maida's avatar build 1.9.0-coq-8.9

00:12:00

passed #75762
better_guidelines
5436a295
#29921 by Marco Maida's avatar process proof-state

00:04:00

passed #75761
better_guidelines
5436a295
#29921 by Marco Maida's avatar process doc-classic

00:00:40

passed #75760
better_guidelines
5436a295
#29921 by Marco Maida's avatar process doc

00:00:24

passed #75759
better_guidelines
5436a295
#29921 by Marco Maida's avatar process validate-classic

00:08:30

passed #75758
better_guidelines
5436a295
#29921 by Marco Maida's avatar process validate

00:00:57

failed #75757
better_guidelines
5436a295
allowed to fail
#29921 by Marco Maida's avatar build coq-dev

00:08:43

failed #75756
better_guidelines
5436a295
allowed to fail
#29921 by Marco Maida's avatar build coq-8.10

00:07:43

passed #75755
better_guidelines
5436a295
#29921 by Marco Maida's avatar build spell-check

00:00:25

passed #75754
better_guidelines
5436a295
#29921 by Marco Maida's avatar build proof-length

00:01:08

passed #75753
better_guidelines
5436a295
#29921 by Marco Maida's avatar build build-for-process-classic

00:08:00

passed #75752
better_guidelines
5436a295
#29921 by Marco Maida's avatar build build-for-process

00:02:04

passed #75751
better_guidelines
5436a295
#29921 by Marco Maida's avatar build 1.10.0-coq-8.11

00:13:25

passed #75750
better_guidelines
5436a295
#29921 by Marco Maida's avatar build 1.10.0-coq-8.10

00:05:36