Status Job Pipeline Stage Name Timing Coverage
passed #51120
master
4c91dcff
#22233 by Björn Brandenburg's avatar process proof-state

00:05:06

failed #51119
master
4c91dcff
#22233 by Björn Brandenburg's avatar process doc-classic

00:06:09

failed #51118
master
4c91dcff
#22233 by Björn Brandenburg's avatar process doc

00:02:14

passed #51117
master
4c91dcff
#22233 by Björn Brandenburg's avatar process validate-classic

00:01:47

passed #51116
master
4c91dcff
#22233 by Björn Brandenburg's avatar process validate

00:01:28

passed #51115
master
4c91dcff
allowed to fail
#22233 by Björn Brandenburg's avatar build latest-coq-8.10

00:02:57

failed #51114
master
4c91dcff
allowed to fail
#22233 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:01:47

passed #51113
master
4c91dcff
#22233 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:59

passed #51112
master
4c91dcff
#22233 by Björn Brandenburg's avatar build spell-check

00:00:32

passed #51111
master
4c91dcff
#22233 by Björn Brandenburg's avatar build proof-length

00:00:20

passed #51110
master
4c91dcff
#22233 by Björn Brandenburg's avatar build 1.9.0-coq-8.10-classic

00:06:34

passed #51109
master
4c91dcff
#22233 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:03:13

passed #50878
the-big-rename
c26bc2f3
#22173 by Björn Brandenburg's avatar process proof-state

00:01:56

passed #50877
the-big-rename
c26bc2f3
#22173 by Björn Brandenburg's avatar process doc-classic

00:00:31

passed #50876
the-big-rename
c26bc2f3
#22173 by Björn Brandenburg's avatar process doc

00:00:25

passed #50875
the-big-rename
c26bc2f3
#22173 by Björn Brandenburg's avatar process validate-classic

00:00:57

passed #50874
the-big-rename
c26bc2f3
#22173 by Björn Brandenburg's avatar process validate

00:00:51

passed #50873
the-big-rename
c26bc2f3
allowed to fail
#22173 by Björn Brandenburg's avatar build latest-coq-8.10

00:02:15

failed #50872
the-big-rename
c26bc2f3
allowed to fail
#22173 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:01:38

passed #50871
the-big-rename
c26bc2f3
#22173 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:25

passed #50870
the-big-rename
c26bc2f3
#22173 by Björn Brandenburg's avatar build spell-check

00:00:40

passed #50869
the-big-rename
c26bc2f3
#22173 by Björn Brandenburg's avatar build proof-length

00:00:29

passed #50868
the-big-rename
c26bc2f3
#22173 by Björn Brandenburg's avatar build 1.9.0-coq-8.10-classic

00:03:41

passed #50867
the-big-rename
c26bc2f3
#22173 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:02:26

passed #50776
model-comments
5f05dfab
#22161 by Björn Brandenburg's avatar process proof-state

00:02:13

passed #50775
model-comments
5f05dfab
#22161 by Björn Brandenburg's avatar process doc-classic

00:00:31

passed #50774
model-comments
5f05dfab
#22161 by Björn Brandenburg's avatar process doc

00:01:28

passed #50773
model-comments
5f05dfab
#22161 by Björn Brandenburg's avatar process validate-classic

00:00:58

passed #50772
model-comments
5f05dfab
#22161 by Björn Brandenburg's avatar process validate

00:01:42

passed #50771
model-comments
5f05dfab
allowed to fail
#22161 by Björn Brandenburg's avatar build latest-coq-8.10

00:01:47