Status Job Pipeline Stage Name Timing Coverage
passed #61513
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar process proof-state

00:05:56

passed #61512
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar process doc-classic

00:01:08

passed #61511
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar process doc

00:00:45

passed #61510
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar process validate-classic

00:02:15

passed #61509
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar process validate

00:02:01

passed #61508
impl-uni-sched
05edac5a
allowed to fail
#25897 by Björn Brandenburg's avatar build coq-dev

00:09:44

passed #61507
impl-uni-sched
05edac5a
allowed to fail
#25897 by Björn Brandenburg's avatar build coq-8.10

00:09:41

passed #61506
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar build spell-check

00:00:57

passed #61505
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar build proof-length

00:00:32

passed #61504
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar build build-for-process-classic

00:08:39

passed #61503
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar build build-for-process

00:04:18

passed #61502
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:11:24

passed #61501
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar build 1.10.0-coq-8.10

00:12:16

passed #61500
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar build 1.10.0-coq-8.9

00:12:11

passed #61499
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar build 1.9.0-coq-8.11

00:11:53

passed #61498
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:11:09

passed #61497
impl-uni-sched
05edac5a
#25897 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:11:47

passed #61479
impl-uni-sched
07ed6768
#25895 by Björn Brandenburg's avatar process proof-state

00:07:51

skipped #61478
impl-uni-sched
07ed6768
#25895 by Björn Brandenburg's avatar process doc-classic
passed #61477
impl-uni-sched
07ed6768
#25895 by Björn Brandenburg's avatar process doc

00:00:45

skipped #61476
impl-uni-sched
07ed6768
#25895 by Björn Brandenburg's avatar process validate-classic
passed #61475
impl-uni-sched
07ed6768
#25895 by Björn Brandenburg's avatar process validate

00:01:58

passed #61474
impl-uni-sched
07ed6768
allowed to fail
#25895 by Björn Brandenburg's avatar build coq-dev

00:11:52

passed #61473
impl-uni-sched
07ed6768
allowed to fail
#25895 by Björn Brandenburg's avatar build coq-8.10

00:11:57

passed #61472
impl-uni-sched
07ed6768
#25895 by Björn Brandenburg's avatar build spell-check

00:01:57

passed #61471
impl-uni-sched
07ed6768
#25895 by Björn Brandenburg's avatar build proof-length

00:01:57

failed #61470
impl-uni-sched
07ed6768
#25895 by Björn Brandenburg's avatar build build-for-process-classic

00:01:37

passed #61469
impl-uni-sched
07ed6768
#25895 by Björn Brandenburg's avatar build build-for-process

00:04:53

passed #61468
impl-uni-sched
07ed6768
#25895 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:13:10

passed #61467
impl-uni-sched
07ed6768
#25895 by Björn Brandenburg's avatar build 1.10.0-coq-8.10

00:12:22