Status Job Pipeline Stage Name Timing Coverage
passed #89794
master
c95b4984
#33776 by Björn Brandenburg's avatar process proof-state

00:04:48

passed #89793
master
c95b4984
#33776 by Björn Brandenburg's avatar process doc-classic

00:01:21

passed #89792
master
c95b4984
#33776 by Björn Brandenburg's avatar process doc

00:00:19

passed #89791
master
c95b4984
#33776 by Björn Brandenburg's avatar process validate-classic

00:01:10

passed #89790
master
c95b4984
#33776 by Björn Brandenburg's avatar process validate

00:02:11

passed #89789
master
c95b4984
#33776 by Björn Brandenburg's avatar build coq-dev

00:05:18

passed #89788
master
c95b4984
#33776 by Björn Brandenburg's avatar build coq-8.12

00:05:24

passed #89787
master
c95b4984
#33776 by Björn Brandenburg's avatar build spell-check

00:00:14

passed #89786
master
c95b4984
#33776 by Björn Brandenburg's avatar build proof-length

00:00:07

passed #89785
master
c95b4984
#33776 by Björn Brandenburg's avatar build build-for-process-classic

00:03:46

passed #89784
master
c95b4984
#33776 by Björn Brandenburg's avatar build build-for-process

00:02:20

passed #89783
master
c95b4984
#33776 by Björn Brandenburg's avatar build 1.11.0-coq-8.12

00:05:02

passed #89782
master
c95b4984
#33776 by Björn Brandenburg's avatar build 1.11.0-coq-8.11

00:06:04

passed #89781
master
c95b4984
#33776 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:14:06

passed #89723
jcs
877d6625
#33769 by Björn Brandenburg's avatar process proof-state

00:04:34

passed #89722
jcs
877d6625
#33769 by Björn Brandenburg's avatar build build-for-process

00:02:18

failed #89706
jcs
877d6625
#33769 by Björn Brandenburg's avatar process proof-state

00:02:26

passed #89705
jcs
877d6625
#33769 by Björn Brandenburg's avatar process doc-classic

00:00:34

passed #89704
jcs
877d6625
#33769 by Björn Brandenburg's avatar process doc

00:00:19

passed #89703
jcs
877d6625
#33769 by Björn Brandenburg's avatar process validate-classic

00:03:08

passed #89702
jcs
877d6625
#33769 by Björn Brandenburg's avatar process validate

00:00:52

passed #89701
jcs
877d6625
#33769 by Björn Brandenburg's avatar build coq-dev

00:12:46

passed #89700
jcs
877d6625
#33769 by Björn Brandenburg's avatar build coq-8.12

00:12:30

passed #89699
jcs
877d6625
#33769 by Björn Brandenburg's avatar build spell-check

00:01:02

passed #89698
jcs
877d6625
#33769 by Björn Brandenburg's avatar build proof-length

00:00:43

passed #89697
jcs
877d6625
#33769 by Björn Brandenburg's avatar build build-for-process-classic

00:03:40

failed #89696
jcs
877d6625
#33769 by Björn Brandenburg's avatar build build-for-process

00:05:05

passed #89695
jcs
877d6625
#33769 by Björn Brandenburg's avatar build 1.11.0-coq-8.12

00:04:58

passed #89694
jcs
877d6625
#33769 by Björn Brandenburg's avatar build 1.11.0-coq-8.11

00:14:15

passed #89693
jcs
877d6625
#33769 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:14:14