Status Job Pipeline Stage Name Timing Coverage
passed #93734
master
109324ac
#34622 by Björn Brandenburg's avatar process proof-state

00:08:01

passed #93733
master
109324ac
#34622 by Björn Brandenburg's avatar process doc-classic

00:00:33

passed #93732
master
109324ac
#34622 by Björn Brandenburg's avatar process doc

00:03:08

passed #93731
master
109324ac
#34622 by Björn Brandenburg's avatar process validate-classic

00:02:12

passed #93730
master
109324ac
#34622 by Björn Brandenburg's avatar process validate

00:02:50

passed #93729
master
109324ac
#34622 by Björn Brandenburg's avatar build coq-dev

00:09:13

passed #93728
master
109324ac
#34622 by Björn Brandenburg's avatar build coq-8.12

00:05:26

passed #93727
master
109324ac
#34622 by Björn Brandenburg's avatar build spell-check

00:16:00

passed #93726
master
109324ac
#34622 by Björn Brandenburg's avatar build proof-length

00:16:27

passed #93725
master
109324ac
#34622 by Björn Brandenburg's avatar build build-for-process-classic

00:03:40

passed #93724
master
109324ac
#34622 by Björn Brandenburg's avatar build build-for-process

00:02:30

passed #93723
master
109324ac
#34622 by Björn Brandenburg's avatar build 1.11.0-coq-8.12

00:05:00

passed #93722
master
109324ac
#34622 by Björn Brandenburg's avatar build 1.11.0-coq-8.11

00:09:48

passed #93721
master
109324ac
#34622 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:09:48

passed #93302
master
33a48458
#34548 by Björn Brandenburg's avatar process proof-state

00:03:51

passed #93301
master
33a48458
#34548 by Björn Brandenburg's avatar process doc-classic

00:00:45

passed #93300
master
33a48458
#34548 by Björn Brandenburg's avatar process doc

00:00:35

passed #93299
master
33a48458
#34548 by Björn Brandenburg's avatar process validate-classic

00:01:14

passed #93298
master
33a48458
#34548 by Björn Brandenburg's avatar process validate

00:01:21

passed #93297
master
33a48458
#34548 by Björn Brandenburg's avatar build coq-dev

00:05:42

failed #93296
master
33a48458
allowed to fail
#34548 by Björn Brandenburg's avatar build coq-8.12

00:02:29

passed #93295
master
33a48458
#34548 by Björn Brandenburg's avatar build spell-check

00:00:36

passed #93294
master
33a48458
#34548 by Björn Brandenburg's avatar build proof-length

00:00:31

passed #93293
master
33a48458
#34548 by Björn Brandenburg's avatar build build-for-process-classic

00:03:37

passed #93292
master
33a48458
#34548 by Björn Brandenburg's avatar build build-for-process

00:02:12

passed #93291
master
33a48458
#34548 by Björn Brandenburg's avatar build 1.11.0-coq-8.12

00:05:01

passed #93290
master
33a48458
#34548 by Björn Brandenburg's avatar build 1.11.0-coq-8.11

00:06:06

passed #93289
master
33a48458
#34548 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:06:03

passed #92563
master
e33a1ebe
#34409 by Björn Brandenburg's avatar process doc-classic

00:00:35

passed #92562
master
e33a1ebe
#34409 by Björn Brandenburg's avatar process proof-state

00:04:44