Status Job Pipeline Stage Name Timing Coverage
passed #108804
master
f13d14fc
#40010 by Björn Brandenburg's avatar process proof-state

00:04:45

passed #108803
master
f13d14fc
#40010 by Björn Brandenburg's avatar process doc-classic

00:06:43

passed #108802
master
f13d14fc
#40010 by Björn Brandenburg's avatar process doc

00:00:19

passed #108801
master
f13d14fc
#40010 by Björn Brandenburg's avatar process validate-classic

00:07:46

passed #108800
master
f13d14fc
#40010 by Björn Brandenburg's avatar process validate

00:00:53

passed #108799
master
f13d14fc
#40010 by Björn Brandenburg's avatar build coq-dev

00:05:24

passed #108798
master
f13d14fc
#40010 by Björn Brandenburg's avatar build coq-8.12

00:05:30

passed #108797
master
f13d14fc
#40010 by Björn Brandenburg's avatar build spell-check

00:00:18

passed #108796
master
f13d14fc
#40010 by Björn Brandenburg's avatar build proof-length

00:00:09

passed #108795
master
f13d14fc
#40010 by Björn Brandenburg's avatar build build-for-process-classic

00:03:40

passed #108794
master
f13d14fc
#40010 by Björn Brandenburg's avatar build build-for-process

00:02:24

passed #108793
master
f13d14fc
#40010 by Björn Brandenburg's avatar build 1.11.0-coq-8.12

00:20:51

passed #108792
master
f13d14fc
#40010 by Björn Brandenburg's avatar build 1.11.0-coq-8.11

00:06:14

passed #108791
master
f13d14fc
#40010 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:06:14

passed #107165
master
c14a8266
#39363 by Björn Brandenburg's avatar process proof-state

00:04:40

passed #107164
master
c14a8266
#39363 by Björn Brandenburg's avatar process doc-classic

00:00:32

passed #107163
master
c14a8266
#39363 by Björn Brandenburg's avatar process doc

00:00:18

passed #107162
master
c14a8266
#39363 by Björn Brandenburg's avatar process validate-classic

00:01:11

passed #107161
master
c14a8266
#39363 by Björn Brandenburg's avatar process validate

00:04:23

passed #107160
master
c14a8266
#39363 by Björn Brandenburg's avatar build coq-dev

00:04:20

passed #107159
master
c14a8266
#39363 by Björn Brandenburg's avatar build coq-8.12

00:05:27

passed #107158
master
c14a8266
#39363 by Björn Brandenburg's avatar build spell-check

00:00:18

passed #107157
master
c14a8266
#39363 by Björn Brandenburg's avatar build proof-length

00:00:08

passed #107156
master
c14a8266
#39363 by Björn Brandenburg's avatar build build-for-process-classic

00:03:36

passed #107155
master
c14a8266
#39363 by Björn Brandenburg's avatar build build-for-process

00:02:19

passed #107154
master
c14a8266
#39363 by Björn Brandenburg's avatar build 1.11.0-coq-8.12

00:05:01

passed #107153
master
c14a8266
#39363 by Björn Brandenburg's avatar build 1.11.0-coq-8.11

00:06:02

passed #107152
master
c14a8266
#39363 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:05:58

passed #107136
master
f1d536d2
#39360 by Björn Brandenburg's avatar process proof-state

00:04:45

passed #107135
master
f1d536d2
#39360 by Björn Brandenburg's avatar process doc-classic

00:00:32