Status Job Pipeline Stage Name Timing Coverage
passed #49746
split-classic-ci
8046b8d4
#21878 by Björn Brandenburg's avatar process proof-state

00:03:08

passed #49745
split-classic-ci
8046b8d4
#21878 by Björn Brandenburg's avatar process doc-classic

00:00:41

passed #49744
split-classic-ci
8046b8d4
#21878 by Björn Brandenburg's avatar process doc

00:00:36

passed #49743
split-classic-ci
8046b8d4
#21878 by Björn Brandenburg's avatar process validate-classic

00:01:12

passed #49742
split-classic-ci
8046b8d4
#21878 by Björn Brandenburg's avatar process validate

00:01:18

passed #49741
split-classic-ci
8046b8d4
allowed to fail
#21878 by Björn Brandenburg's avatar build latest-coq-8.10

00:02:48

failed #49740
split-classic-ci
8046b8d4
allowed to fail
#21878 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:01:40

passed #49739
split-classic-ci
8046b8d4
#21878 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:55

passed #49738
split-classic-ci
8046b8d4
#21878 by Björn Brandenburg's avatar build spell-check

00:00:42

passed #49737
split-classic-ci
8046b8d4
#21878 by Björn Brandenburg's avatar build proof-length

00:00:30

passed #49736
split-classic-ci
8046b8d4
#21878 by Björn Brandenburg's avatar build 1.9.0-coq-8.10-classic

00:05:08

passed #49735
split-classic-ci
8046b8d4
#21878 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:02:58

passed #49729
split-classic-ci
8ab5a3f2
#21873 by Björn Brandenburg's avatar process proof-state

00:01:51

passed #49728
split-classic-ci
8ab5a3f2
#21873 by Björn Brandenburg's avatar process doc-classic

00:00:30

passed #49727
split-classic-ci
8ab5a3f2
#21873 by Björn Brandenburg's avatar process doc

00:00:21

passed #49726
split-classic-ci
8ab5a3f2
#21873 by Björn Brandenburg's avatar process validate-classic

00:00:56

passed #49725
split-classic-ci
8ab5a3f2
#21873 by Björn Brandenburg's avatar process validate

00:00:49

passed #49724
split-classic-ci
8ab5a3f2
allowed to fail
#21873 by Björn Brandenburg's avatar build latest-coq-8.10

00:02:09

failed #49723
split-classic-ci
8ab5a3f2
allowed to fail
#21873 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:01:28

passed #49722
split-classic-ci
8ab5a3f2
#21873 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:07

passed #49721
split-classic-ci
8ab5a3f2
#21873 by Björn Brandenburg's avatar build spell-check

00:00:36

passed #49720
split-classic-ci
8ab5a3f2
#21873 by Björn Brandenburg's avatar build proof-length

00:00:23

passed #49719
split-classic-ci
8ab5a3f2
#21873 by Björn Brandenburg's avatar build 1.9.0-coq-8.10-classic

00:03:18

passed #49718
split-classic-ci
8ab5a3f2
#21873 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:02:09

passed #49709
split-classic-ci
42234c34
#21869 by Björn Brandenburg's avatar process proof-state

00:03:20

passed #49708
split-classic-ci
42234c34
#21869 by Björn Brandenburg's avatar process doc-classic

00:00:50

passed #49707
split-classic-ci
42234c34
#21869 by Björn Brandenburg's avatar process doc

00:00:21

passed #49706
split-classic-ci
42234c34
#21869 by Björn Brandenburg's avatar process validate-classic

00:01:42

passed #49705
split-classic-ci
42234c34
#21869 by Björn Brandenburg's avatar process validate

00:00:59

passed #49704
split-classic-ci
42234c34
allowed to fail
#21869 by Björn Brandenburg's avatar build latest-coq-8.10

00:01:43