Status Job Pipeline Stage Name Timing Coverage
failed #99198
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar process proof-state

00:03:01

skipped #99197
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar process doc-classic
passed #99196
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar process doc

00:00:59

skipped #99195
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar process validate-classic
passed #99194
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar process validate

00:01:38

passed #99193
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar build coq-dev

00:07:25

passed #99192
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar build coq-8.12

00:23:26

failed #99191
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar build spell-check

00:02:02

failed #99190
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar build proof-length

00:01:39

failed #99189
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar build build-for-process-classic

00:02:02

passed #99188
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar build build-for-process

00:02:47

passed #99187
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar build 1.11.0-coq-8.12

00:08:46

passed #99186
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar build 1.11.0-coq-8.11

00:06:36

passed #99185
aSBF_PG
6a2ea65a
#36389 by Marco Maida's avatar build 1.10.0-coq-8.11

00:06:26

failed #99173
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar process proof-state

00:02:59

skipped #99172
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar process doc-classic
passed #99171
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar process doc

00:00:21

skipped #99170
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar process validate-classic
passed #99169
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar process validate

00:00:56

passed #99168
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar build coq-dev

00:09:54

passed #99167
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar build coq-8.12

00:10:15

failed #99166
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar build spell-check

00:02:14

failed #99165
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar build proof-length

00:00:08

failed #99164
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar build build-for-process-classic

00:03:23

passed #99163
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar build build-for-process

00:19:53

passed #99162
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar build 1.11.0-coq-8.12

00:05:20

passed #99161
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar build 1.11.0-coq-8.11

00:11:54

passed #99160
aSBF_PG
df3fe2fa
#36381 by Marco Maida's avatar build 1.10.0-coq-8.11

00:11:54

failed #98878
aSBF_PG
73634a2a
#36259 by Marco Maida's avatar process proof-state

00:02:55

skipped #98877
aSBF_PG
73634a2a
#36259 by Marco Maida's avatar process doc-classic