Status Job Pipeline Stage Name Timing Coverage
passed #92519
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar process doc-classic

00:00:36

passed #92518
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar process proof-state

00:04:43

failed #92517
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar process doc-classic

00:00:37

passed #92516
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar process doc

00:04:23

passed #92515
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar process validate-classic

00:01:11

passed #92514
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar process validate

00:00:53

passed #92513
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar build coq-dev

00:05:22

passed #92512
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar build coq-8.12

00:06:43

passed #92511
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar build spell-check

00:00:50

passed #92510
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar build proof-length

00:00:38

passed #92509
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar build build-for-process-classic

00:03:59

passed #92508
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar build build-for-process

00:02:20

passed #92507
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar build 1.11.0-coq-8.12

00:04:59

passed #92506
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar build 1.11.0-coq-8.11

00:07:45

passed #92505
proof-state-rec-fixes
bd37be63
#34405 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:07:42

passed #89808
master
c95b4984
#33777 by Björn Brandenburg's avatar process proof-state

00:07:42

passed #89807
master
c95b4984
#33777 by Björn Brandenburg's avatar process doc-classic

00:08:41

passed #89806
master
c95b4984
#33777 by Björn Brandenburg's avatar process doc

00:07:16

passed #89805
master
c95b4984
#33777 by Björn Brandenburg's avatar process validate-classic

00:01:12

passed #89804
master
c95b4984
#33777 by Björn Brandenburg's avatar process validate

00:05:46

passed #89803
master
c95b4984
#33777 by Björn Brandenburg's avatar build coq-dev

00:05:21

passed #89802
master
c95b4984
#33777 by Björn Brandenburg's avatar build coq-8.12

00:05:28

passed #89801
master
c95b4984
#33777 by Björn Brandenburg's avatar build spell-check

00:00:15

passed #89800
master
c95b4984
#33777 by Björn Brandenburg's avatar build proof-length

00:00:07

passed #89799
master
c95b4984
#33777 by Björn Brandenburg's avatar build build-for-process-classic

00:03:47

passed #89798
master
c95b4984
#33777 by Björn Brandenburg's avatar build build-for-process

00:04:44

passed #89797
master
c95b4984
#33777 by Björn Brandenburg's avatar build 1.11.0-coq-8.12

00:05:05

passed #89796
master
c95b4984
#33777 by Björn Brandenburg's avatar build 1.11.0-coq-8.11

00:12:33

passed #89795
master
c95b4984
#33777 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:06:01

passed #89721
master
137760b3
#33771 by Björn Brandenburg's avatar process proof-state

00:08:14