Status Job Pipeline Stage Name Timing Coverage
skipped #125399
aSBF_PG_bin_per
0ee9444d
#45851 by Marco Maida's avatar process proof-state
skipped #125398
aSBF_PG_bin_per
0ee9444d
#45851 by Marco Maida's avatar process doc-classic
skipped #125397
aSBF_PG_bin_per
0ee9444d
#45851 by Marco Maida's avatar process doc
skipped #125396
aSBF_PG_bin_per
0ee9444d
#45851 by Marco Maida's avatar process validate-classic
skipped #125395
aSBF_PG_bin_per
0ee9444d
#45851 by Marco Maida's avatar process validate
failed #125394
aSBF_PG_bin_per
0ee9444d
allowed to fail
#45851 by Marco Maida's avatar build coq-dev

00:02:03

failed #125393
aSBF_PG_bin_per
0ee9444d
allowed to fail
#45851 by Marco Maida's avatar build coq-8.12

00:04:28

failed #125392
aSBF_PG_bin_per
0ee9444d
#45851 by Marco Maida's avatar build spell-check

00:00:20

failed #125391
aSBF_PG_bin_per
0ee9444d
#45851 by Marco Maida's avatar build proof-length

00:00:10

failed #125390
aSBF_PG_bin_per
0ee9444d
#45851 by Marco Maida's avatar build build-for-process-classic

00:00:20

failed #125389
aSBF_PG_bin_per
0ee9444d
#45851 by Marco Maida's avatar build build-for-process

00:01:54

failed #125388
aSBF_PG_bin_per
0ee9444d
#45851 by Marco Maida's avatar build 1.11.0-coq-8.12

00:05:22

failed #125387
aSBF_PG_bin_per
0ee9444d
#45851 by Marco Maida's avatar build 1.11.0-coq-8.11

00:04:28

failed #125386
aSBF_PG_bin_per
0ee9444d
#45851 by Marco Maida's avatar build 1.10.0-coq-8.11

00:04:23

skipped #125253
aSBF_PG_bin_per
e0e7e332
#45794 by Marco Maida's avatar process proof-state
skipped #125252
aSBF_PG_bin_per
e0e7e332
#45794 by Marco Maida's avatar process doc-classic
skipped #125251
aSBF_PG_bin_per
e0e7e332
#45794 by Marco Maida's avatar process doc
skipped #125250
aSBF_PG_bin_per
e0e7e332
#45794 by Marco Maida's avatar process validate-classic
skipped #125249
aSBF_PG_bin_per
e0e7e332
#45794 by Marco Maida's avatar process validate
failed #125248
aSBF_PG_bin_per
e0e7e332
allowed to fail
#45794 by Marco Maida's avatar build coq-dev

00:01:52

failed #125247
aSBF_PG_bin_per
e0e7e332
allowed to fail
#45794 by Marco Maida's avatar build coq-8.12

00:06:41

failed #125246
aSBF_PG_bin_per
e0e7e332
#45794 by Marco Maida's avatar build spell-check

00:00:18

failed #125245
aSBF_PG_bin_per
e0e7e332
#45794 by Marco Maida's avatar build proof-length

00:00:12

failed #125244
aSBF_PG_bin_per
e0e7e332
#45794 by Marco Maida's avatar build build-for-process-classic

00:00:15

failed #125243
aSBF_PG_bin_per
e0e7e332
#45794 by Marco Maida's avatar build build-for-process

00:01:51

failed #125242
aSBF_PG_bin_per
e0e7e332
#45794 by Marco Maida's avatar build 1.11.0-coq-8.12

00:03:34

failed #125241
aSBF_PG_bin_per
e0e7e332
#45794 by Marco Maida's avatar build 1.11.0-coq-8.11

00:06:28

failed #125240
aSBF_PG_bin_per
e0e7e332
#45794 by Marco Maida's avatar build 1.10.0-coq-8.11

00:06:27

skipped #125069
aSBF_PG_bin_per
f7438dcb
#45702 by Marco Maida's avatar process proof-state
skipped #125068
aSBF_PG_bin_per
f7438dcb
#45702 by Marco Maida's avatar process doc-classic