Status Job Pipeline Stage Name Timing Coverage
passed #88542
jcs
19f39f5f
#33406 by Vedant Chavda's avatar process proof-state

00:04:31

failed #88540
jcs
19f39f5f
#33406 by Vedant Chavda's avatar process proof-state

00:02:30

passed #88539
jcs
19f39f5f
#33406 by Vedant Chavda's avatar process doc-classic

00:00:34

passed #88538
jcs
19f39f5f
#33406 by Vedant Chavda's avatar process doc

00:03:24

passed #88537
jcs
19f39f5f
#33406 by Vedant Chavda's avatar process validate-classic

00:02:31

passed #88536
jcs
19f39f5f
#33406 by Vedant Chavda's avatar process validate

00:00:52

passed #88535
jcs
19f39f5f
#33406 by Vedant Chavda's avatar build coq-dev

00:07:23

passed #88534
jcs
19f39f5f
#33406 by Vedant Chavda's avatar build coq-8.12

00:05:21

passed #88533
jcs
19f39f5f
#33406 by Vedant Chavda's avatar build spell-check

00:00:14

passed #88532
jcs
19f39f5f
#33406 by Vedant Chavda's avatar build proof-length

00:00:07

passed #88531
jcs
19f39f5f
#33406 by Vedant Chavda's avatar build build-for-process-classic

00:03:44

passed #88530
jcs
19f39f5f
#33406 by Vedant Chavda's avatar build build-for-process

00:04:43

passed #88529
jcs
19f39f5f
#33406 by Vedant Chavda's avatar build 1.11.0-coq-8.12

00:09:07

passed #88528
jcs
19f39f5f
#33406 by Vedant Chavda's avatar build 1.11.0-coq-8.11

00:06:07

passed #88527
jcs
19f39f5f
#33406 by Vedant Chavda's avatar build 1.10.0-coq-8.11

00:06:04

passed #88526
jcs
b2405dc2
#33405 by Vedant Chavda's avatar process proof-state

00:04:43

passed #88525
jcs
b2405dc2
#33405 by Vedant Chavda's avatar process doc-classic

00:00:33

passed #88524
jcs
b2405dc2
#33405 by Vedant Chavda's avatar process doc

00:07:01

passed #88523
jcs
b2405dc2
#33405 by Vedant Chavda's avatar process validate-classic

00:09:33

passed #88522
jcs
b2405dc2
#33405 by Vedant Chavda's avatar process validate

00:00:52

passed #88521
jcs
b2405dc2
#33405 by Vedant Chavda's avatar build coq-dev

00:05:15

passed #88520
jcs
b2405dc2
#33405 by Vedant Chavda's avatar build coq-8.12

00:10:52

passed #88519
jcs
b2405dc2
#33405 by Vedant Chavda's avatar build spell-check

00:00:16

passed #88518
jcs
b2405dc2
#33405 by Vedant Chavda's avatar build proof-length

00:00:43

passed #88517
jcs
b2405dc2
#33405 by Vedant Chavda's avatar build build-for-process-classic

00:06:33

passed #88516
jcs
b2405dc2
#33405 by Vedant Chavda's avatar build build-for-process

00:02:18

passed #88515
jcs
b2405dc2
#33405 by Vedant Chavda's avatar build 1.11.0-coq-8.12

00:10:15

passed #88514
jcs
b2405dc2
#33405 by Vedant Chavda's avatar build 1.11.0-coq-8.11

00:11:39

passed #88513
jcs
b2405dc2
#33405 by Vedant Chavda's avatar build 1.10.0-coq-8.11

00:11:40

passed #88510
master
a5927468
#33403 by Vedant Chavda's avatar process proof-state

00:06:25