Status Job Pipeline Stage Name Duration Coverage
failed #136449
refs/merge-requests/136/head
2b87d4dc
allowed to fail
#50913 by Björn Brandenburg's avatar build coq-dev

00:00:38

passed #136422
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar process doc-classic

00:00:29

passed #136421
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar process doc

00:00:15

passed #136420
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar process validate-classic

00:01:07

passed #136419
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar process validate

00:00:47

passed #136418
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar build proof-state

00:06:16

passed #136417
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar build tutorial

00:01:04

failed #136416
refs/merge-requests/134/head
190f468e
allowed to fail
#50917 by Björn Brandenburg's avatar build coq-dev

00:00:41

passed #136415
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar build coq-8.13

00:03:07

failed #136414
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar build spell-check

00:00:13

passed #136413
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar build proof-length

00:00:06

passed #136412
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar build compile-classic

00:02:02

passed #136411
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar build compile

00:01:08

passed #136410
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar build 1.12.0-coq-8.13

00:03:25

passed #136409
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar build 1.11.0-coq-8.12

00:03:53

passed #136408
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar build 1.11.0-coq-8.11

00:04:30

passed #136407
refs/merge-requests/134/head
190f468e
#50917 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:04:32

passed #136399
refs/merge-requests/136/head
2b87d4dc
#50913 by Björn Brandenburg's avatar process doc-classic

00:00:27

passed #136398
refs/merge-requests/136/head
2b87d4dc
#50913 by Björn Brandenburg's avatar process doc

00:00:14

passed #136397
refs/merge-requests/136/head
2b87d4dc
#50913 by Björn Brandenburg's avatar process validate-classic

00:01:05

passed #136396
refs/merge-requests/136/head
2b87d4dc
#50913 by Björn Brandenburg's avatar process validate

00:00:44

passed #136395
refs/merge-requests/136/head
2b87d4dc
#50913 by Björn Brandenburg's avatar build proof-state

00:06:22

failed #136394
refs/merge-requests/136/head
2b87d4dc
allowed to fail
#50913 by Björn Brandenburg's avatar build coq-dev

00:04:30

passed #136393
refs/merge-requests/136/head
2b87d4dc
#50913 by Björn Brandenburg's avatar build coq-8.13

00:03:02

passed #136392
refs/merge-requests/136/head
2b87d4dc
#50913 by Björn Brandenburg's avatar build spell-check

00:00:12

passed #136391
refs/merge-requests/136/head
2b87d4dc
#50913 by Björn Brandenburg's avatar build proof-length

00:00:07

passed #136390
refs/merge-requests/136/head
2b87d4dc
#50913 by Björn Brandenburg's avatar build compile-classic

00:01:55

passed #136389
refs/merge-requests/136/head
2b87d4dc
#50913 by Björn Brandenburg's avatar build compile

00:01:03

passed #136388
refs/merge-requests/136/head
2b87d4dc
#50913 by Björn Brandenburg's avatar build 1.12.0-coq-8.13

00:03:07

passed #136387
refs/merge-requests/136/head
2b87d4dc
#50913 by Björn Brandenburg's avatar build 1.11.0-coq-8.12

00:03:30