Status Job Pipeline Stage Name Timing Coverage
passed #71106
warnings
852b92ab
#28401 by Björn Brandenburg's avatar process proof-state

00:06:19

failed #71105
warnings
852b92ab
#28401 by Björn Brandenburg's avatar process doc-classic

00:02:06

passed #71104
warnings
852b92ab
#28401 by Björn Brandenburg's avatar process doc

00:00:58

passed #71103
warnings
852b92ab
#28401 by Björn Brandenburg's avatar process validate-classic

00:02:35

passed #71102
warnings
852b92ab
#28401 by Björn Brandenburg's avatar process validate

00:02:10

failed #71101
warnings
852b92ab
allowed to fail
#28401 by Björn Brandenburg's avatar build coq-dev

00:06:54

failed #71100
warnings
852b92ab
allowed to fail
#28401 by Björn Brandenburg's avatar build coq-8.10

00:06:42

passed #71099
warnings
852b92ab
#28401 by Björn Brandenburg's avatar build spell-check

00:00:56

passed #71098
warnings
852b92ab
#28401 by Björn Brandenburg's avatar build proof-length

00:00:35

passed #71097
warnings
852b92ab
#28401 by Björn Brandenburg's avatar build build-for-process-classic

00:09:27

passed #71096
warnings
852b92ab
#28401 by Björn Brandenburg's avatar build build-for-process

00:04:52

passed #71095
warnings
852b92ab
#28401 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:13:22

passed #71094
warnings
852b92ab
#28401 by Björn Brandenburg's avatar build 1.10.0-coq-8.10

00:14:02

passed #71093
warnings
852b92ab
#28401 by Björn Brandenburg's avatar build 1.10.0-coq-8.9

00:14:18

failed #71092
warnings
852b92ab
#28401 by Björn Brandenburg's avatar build 1.9.0-coq-8.11

00:03:31

failed #71091
warnings
852b92ab
#28401 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:03:34

failed #71090
warnings
852b92ab
#28401 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:47

passed #62849
impl-uni-sched
89e03467
#26186 by Björn Brandenburg's avatar process proof-state

00:07:55

passed #62848
impl-uni-sched
89e03467
#26186 by Björn Brandenburg's avatar process doc-classic

00:01:23

passed #62847
impl-uni-sched
89e03467
#26186 by Björn Brandenburg's avatar process doc

00:00:55

passed #62846
impl-uni-sched
89e03467
#26186 by Björn Brandenburg's avatar process validate-classic

00:02:51

passed #62845
impl-uni-sched
89e03467
#26186 by Björn Brandenburg's avatar process validate

00:02:22

failed #62844
impl-uni-sched
89e03467
allowed to fail
#26186 by Björn Brandenburg's avatar build coq-dev

00:07:44

failed #62843
impl-uni-sched
89e03467
allowed to fail
#26186 by Björn Brandenburg's avatar build coq-8.10

00:07:25

passed #62842
impl-uni-sched
89e03467
#26186 by Björn Brandenburg's avatar build spell-check

00:00:52

passed #62841
impl-uni-sched
89e03467
#26186 by Björn Brandenburg's avatar build proof-length

00:00:46

passed #62840
impl-uni-sched
89e03467
#26186 by Björn Brandenburg's avatar build build-for-process-classic

00:07:02

passed #62839
impl-uni-sched
89e03467
#26186 by Björn Brandenburg's avatar build build-for-process

00:02:59

passed #62838
impl-uni-sched
89e03467
#26186 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:16:12

passed #62837
impl-uni-sched
89e03467
#26186 by Björn Brandenburg's avatar build 1.10.0-coq-8.10

00:16:25