Status Job Pipeline Stage Name Timing Coverage
passed #36287
master
f7aaa70c
#18212 by Xiaojie Guo's avatar process proof-length

00:00:17

passed #36286
master
f7aaa70c
#18212 by Xiaojie Guo's avatar process doc

00:03:21

passed #36285
master
f7aaa70c
#18212 by Xiaojie Guo's avatar process validate

00:01:36

passed #36284
master
f7aaa70c
#18212 by Xiaojie Guo's avatar build 1.9.0-coq-8.9

00:02:24

failed #36283
master
f7aaa70c
allowed to fail
#18212 by Xiaojie Guo's avatar build 1.9.0-coq-dev

00:00:18

passed #36282
master
f7aaa70c
#18212 by Xiaojie Guo's avatar build 1.8.0-coq-8.8

00:02:23