Status Job Pipeline Stage Name Timing Coverage
passed #77575
oio
4ec757a1
#30650 by Vedant Chavda's avatar process proof-state

00:06:32

passed #77574
oio
4ec757a1
#30650 by Vedant Chavda's avatar process doc-classic

00:01:06

passed #77573
oio
4ec757a1
#30650 by Vedant Chavda's avatar process doc

00:00:21

passed #77572
oio
4ec757a1
#30650 by Vedant Chavda's avatar process validate-classic

00:02:10

passed #77571
oio
4ec757a1
#30650 by Vedant Chavda's avatar process validate

00:01:46

failed #77570
oio
4ec757a1
allowed to fail
#30650 by Vedant Chavda's avatar build coq-dev

00:06:27

failed #77569
oio
4ec757a1
allowed to fail
#30650 by Vedant Chavda's avatar build coq-8.10

00:05:09

failed #77568
oio
4ec757a1
#30650 by Vedant Chavda's avatar build spell-check

00:01:23

failed #77567
oio
4ec757a1
#30650 by Vedant Chavda's avatar build proof-length

00:01:24

passed #77566
oio
4ec757a1
#30650 by Vedant Chavda's avatar build build-for-process-classic

00:06:08

passed #77565
oio
4ec757a1
#30650 by Vedant Chavda's avatar build build-for-process

00:02:09

passed #77564
oio
4ec757a1
#30650 by Vedant Chavda's avatar build 1.10.0-coq-8.11

00:08:54

passed #77563
oio
4ec757a1
#30650 by Vedant Chavda's avatar build 1.10.0-coq-8.10

00:06:00

passed #77562
oio
4ec757a1
#30650 by Vedant Chavda's avatar build 1.10.0-coq-8.9

00:05:26

passed #77561
oio
4ec757a1
#30650 by Vedant Chavda's avatar build 1.9.0-coq-8.11

00:05:49

passed #77560
oio
4ec757a1
#30650 by Vedant Chavda's avatar build 1.9.0-coq-8.10

00:08:39

passed #77559
oio
4ec757a1
#30650 by Vedant Chavda's avatar build 1.9.0-coq-8.9

00:08:55

passed #77138
offset
df3c29ac
#30468 by Vedant Chavda's avatar process proof-state

00:03:48

passed #77137
offset
df3c29ac
#30468 by Vedant Chavda's avatar process doc-classic

00:00:46

passed #77136
offset
df3c29ac
#30468 by Vedant Chavda's avatar process doc

00:00:41

passed #77135
offset
df3c29ac
#30468 by Vedant Chavda's avatar process validate-classic

00:01:31

passed #77134
offset
df3c29ac
#30468 by Vedant Chavda's avatar process validate

00:01:26

failed #77133
offset
df3c29ac
allowed to fail
#30468 by Vedant Chavda's avatar build coq-dev

00:04:44

failed #77132
offset
df3c29ac
allowed to fail
#30468 by Vedant Chavda's avatar build coq-8.10

00:04:56

passed #77131
offset
df3c29ac
#30468 by Vedant Chavda's avatar build spell-check

00:01:26

passed #77130
offset
df3c29ac
#30468 by Vedant Chavda's avatar build proof-length

00:00:09

passed #77129
offset
df3c29ac
#30468 by Vedant Chavda's avatar build build-for-process-classic

00:05:32

passed #77128
offset
df3c29ac
#30468 by Vedant Chavda's avatar build build-for-process

00:03:49

passed #77127
offset
df3c29ac
#30468 by Vedant Chavda's avatar build 1.10.0-coq-8.11

00:06:29

passed #77126
offset
df3c29ac
#30468 by Vedant Chavda's avatar build 1.10.0-coq-8.10

00:07:03