Status Job Pipeline Stage Name Timing Coverage
passed #42063
master
8f16ef34
#19740 by Björn Brandenburg's avatar process proof-length

00:00:14

passed #42062
master
8f16ef34
#19740 by Björn Brandenburg's avatar process doc

00:00:24

passed #42061
master
8f16ef34
#19740 by Björn Brandenburg's avatar process validate

00:01:35

passed #42060
master
8f16ef34
#19740 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:14

failed #42059
master
8f16ef34
allowed to fail
#19740 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:00:16

passed #42058
master
8f16ef34
#19740 by Björn Brandenburg's avatar build 1.8.0-coq-8.8

00:02:14

passed #41564
master
80bd79d5
#19634 by Björn Brandenburg's avatar process proof-length

00:00:14

passed #41563
master
80bd79d5
#19634 by Björn Brandenburg's avatar process doc

00:00:23

passed #41562
master
80bd79d5
#19634 by Björn Brandenburg's avatar process validate

00:01:28

passed #41561
master
80bd79d5
#19634 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:06

failed #41560
master
80bd79d5
allowed to fail
#19634 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:00:14

passed #41559
master
80bd79d5
#19634 by Björn Brandenburg's avatar build 1.8.0-coq-8.8

00:02:05

passed #40941
move-proc-models
80bd79d5
#19452 by Björn Brandenburg's avatar process proof-length

00:00:15

passed #40940
move-proc-models
80bd79d5
#19452 by Björn Brandenburg's avatar process doc

00:00:32

passed #40939
move-proc-models
80bd79d5
#19452 by Björn Brandenburg's avatar process validate

00:01:37

passed #40938
move-proc-models
80bd79d5
#19452 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:04

failed #40937
move-proc-models
80bd79d5
allowed to fail
#19452 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:00:14

passed #40936
move-proc-models
80bd79d5
#19452 by Björn Brandenburg's avatar build 1.8.0-coq-8.8

00:02:04

passed #40899
master
8313f7c6
#19445 by Björn Brandenburg's avatar process proof-length

00:00:15

passed #40898
master
8313f7c6
#19445 by Björn Brandenburg's avatar process doc

00:03:08

passed #40897
master
8313f7c6
#19445 by Björn Brandenburg's avatar process validate

00:04:20

passed #40896
master
8313f7c6
#19445 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:05

failed #40895
master
8313f7c6
allowed to fail
#19445 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:00:15

passed #40894
master
8313f7c6
#19445 by Björn Brandenburg's avatar build 1.8.0-coq-8.8

00:02:06

passed #40686
master
0fbee8da
#19373 by Björn Brandenburg's avatar process proof-length

00:00:15

passed #40685
master
0fbee8da
#19373 by Björn Brandenburg's avatar process doc

00:02:59

passed #40684
master
0fbee8da
#19373 by Björn Brandenburg's avatar process validate

00:01:29

passed #40683
master
0fbee8da
#19373 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:12

failed #40682
master
0fbee8da
allowed to fail
#19373 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:01:18

passed #40681
master
0fbee8da
#19373 by Björn Brandenburg's avatar build 1.8.0-coq-8.8

00:02:11