Status Job Pipeline Stage Name Timing Coverage
failed #50326
work-conserving-edf
6bf0cf9c
#22027 by Björn Brandenburg's avatar process proof-state

00:01:10

passed #50325
work-conserving-edf
6bf0cf9c
#22027 by Björn Brandenburg's avatar process doc-classic

00:00:28

passed #50324
work-conserving-edf
6bf0cf9c
#22027 by Björn Brandenburg's avatar process doc

00:00:23

passed #50323
work-conserving-edf
6bf0cf9c
#22027 by Björn Brandenburg's avatar process validate-classic

00:00:53

passed #50322
work-conserving-edf
6bf0cf9c
#22027 by Björn Brandenburg's avatar process validate

00:00:50

passed #50321
work-conserving-edf
6bf0cf9c
allowed to fail
#22027 by Björn Brandenburg's avatar build latest-coq-8.10

00:01:46

failed #50320
work-conserving-edf
6bf0cf9c
allowed to fail
#22027 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:01:11

passed #50319
work-conserving-edf
6bf0cf9c
#22027 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:01:44

failed #50318
work-conserving-edf
6bf0cf9c
#22027 by Björn Brandenburg's avatar build spell-check

00:00:32

passed #50317
work-conserving-edf
6bf0cf9c
#22027 by Björn Brandenburg's avatar build proof-length

00:00:27

passed #50316
work-conserving-edf
6bf0cf9c
#22027 by Björn Brandenburg's avatar build 1.9.0-coq-8.10-classic

00:02:54

passed #50315
work-conserving-edf
6bf0cf9c
#22027 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:01:46

failed #50149
work-conserving-edf
8f809b9d
#22002 by Marco Maida's avatar process proof-state

00:01:09

passed #50148
work-conserving-edf
8f809b9d
#22002 by Marco Maida's avatar process doc-classic

00:00:28

passed #50147
work-conserving-edf
8f809b9d
#22002 by Marco Maida's avatar process doc

00:00:23

passed #50146
work-conserving-edf
8f809b9d
#22002 by Marco Maida's avatar process validate-classic

00:00:54

passed #50145
work-conserving-edf
8f809b9d
#22002 by Marco Maida's avatar process validate

00:00:50

passed #50144
work-conserving-edf
8f809b9d
allowed to fail
#22002 by Marco Maida's avatar build latest-coq-8.10

00:01:48

failed #50143
work-conserving-edf
8f809b9d
allowed to fail
#22002 by Marco Maida's avatar build 1.9.0-coq-dev

00:01:16

passed #50142
work-conserving-edf
8f809b9d
#22002 by Marco Maida's avatar build 1.9.0-coq-8.9

00:01:49

failed #50141
work-conserving-edf
8f809b9d
#22002 by Marco Maida's avatar build spell-check

00:00:29

passed #50140
work-conserving-edf
8f809b9d
#22002 by Marco Maida's avatar build proof-length

00:00:25

passed #50139
work-conserving-edf
8f809b9d
#22002 by Marco Maida's avatar build 1.9.0-coq-8.10-classic

00:02:58

passed #50138
work-conserving-edf
8f809b9d
#22002 by Marco Maida's avatar build 1.9.0-coq-8.10

00:01:50

failed #50132
work-conserving-edf
214f2156
#21998 by Marco Maida's avatar process proof-state

00:01:12

passed #50131
work-conserving-edf
214f2156
#21998 by Marco Maida's avatar process doc-classic

00:00:28

failed #50130
work-conserving-edf
214f2156
#21998 by Marco Maida's avatar process doc

00:00:35

passed #50129
work-conserving-edf
214f2156
#21998 by Marco Maida's avatar process validate-classic

00:00:53

passed #50128
work-conserving-edf
214f2156
#21998 by Marco Maida's avatar process validate

00:00:51

passed #50127
work-conserving-edf
214f2156
allowed to fail
#21998 by Marco Maida's avatar build latest-coq-8.10

00:01:48