Status Job Pipeline Stage Name Timing Coverage
passed #62836
impl-uni-sched
89e03467
#26186 by Björn Brandenburg's avatar build 1.10.0-coq-8.9

00:17:37

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

00:17:37

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

00:17:36

passed #62833
impl-uni-sched
89e03467
#26186 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:17:42

passed #62208
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar process proof-state

00:08:05

passed #62207
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar process doc-classic

00:01:18

passed #62206
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar process doc

00:01:36

passed #62205
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar process validate-classic

00:03:18

passed #62204
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar process validate

00:02:31

failed #62203
impl-uni-sched
c5602a23
allowed to fail
#26071 by Björn Brandenburg's avatar build coq-dev

00:08:11

failed #62202
impl-uni-sched
c5602a23
allowed to fail
#26071 by Björn Brandenburg's avatar build coq-8.10

00:06:38

passed #62201
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar build spell-check

00:01:27

passed #62200
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar build proof-length

00:01:28

passed #62199
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar build build-for-process-classic

00:08:00

passed #62198
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar build build-for-process

00:03:45

passed #62197
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:14:46

passed #62196
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar build 1.10.0-coq-8.10

00:14:48

passed #62195
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar build 1.10.0-coq-8.9

00:14:05

passed #62194
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar build 1.9.0-coq-8.11

00:14:50

passed #62193
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:14:29

passed #62192
impl-uni-sched
c5602a23
#26071 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:14:48

passed #62191
impl-uni-sched
25e99613
#26070 by Björn Brandenburg's avatar process proof-state

00:06:51

passed #62190
impl-uni-sched
25e99613
#26070 by Björn Brandenburg's avatar process doc-classic

00:01:10

passed #62189
impl-uni-sched
25e99613
#26070 by Björn Brandenburg's avatar process doc

00:00:47

passed #62188
impl-uni-sched
25e99613
#26070 by Björn Brandenburg's avatar process validate-classic

00:02:31

passed #62187
impl-uni-sched
25e99613
#26070 by Björn Brandenburg's avatar process validate

00:02:07

failed #62186
impl-uni-sched
25e99613
allowed to fail
#26070 by Björn Brandenburg's avatar build coq-dev

00:07:43

failed #62185
impl-uni-sched
25e99613
allowed to fail
#26070 by Björn Brandenburg's avatar build coq-8.10

00:07:28

passed #62184
impl-uni-sched
25e99613
#26070 by Björn Brandenburg's avatar build spell-check

00:01:15

passed #62183
impl-uni-sched
25e99613
#26070 by Björn Brandenburg's avatar build proof-length

00:01:15