Status Job Pipeline Stage Name Duration Coverage
passed #117656
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar process proof-state

00:03:20

passed #117655
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar process doc-classic

00:04:56

passed #117654
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar process doc

00:00:17

passed #117653
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar process validate-classic

00:06:13

passed #117652
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar process validate

00:00:48

passed #117651
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build coq-dev

00:04:26

passed #117650
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build coq-8.13

00:04:27

passed #117649
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build spell-check

00:00:15

passed #117648
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build proof-length

00:00:07

passed #117647
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build build-for-process-classic

00:02:53

passed #117646
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build build-for-process

00:01:33

passed #117645
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build 1.12.0-coq-8.13

00:04:36

passed #117644
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build 1.11.0-coq-8.12

00:05:13

passed #117643
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build 1.11.0-coq-8.11

00:06:21

passed #117642
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:06:10

passed #117257
additivity-theory
6eba982a
#42958 by Marco Maida's avatar process proof-state

00:04:39

passed #117256
additivity-theory
6eba982a
#42958 by Marco Maida's avatar process doc-classic

00:00:33

passed #117255
additivity-theory
6eba982a
#42958 by Marco Maida's avatar process doc

00:00:18

passed #117254
additivity-theory
6eba982a
#42958 by Marco Maida's avatar process validate-classic

00:01:12

passed #117253
additivity-theory
6eba982a
#42958 by Marco Maida's avatar process validate

00:00:54

failed #117252
additivity-theory
6eba982a
allowed to fail
#42958 by Marco Maida's avatar build coq-dev

00:02:20

passed #117251
additivity-theory
6eba982a
#42958 by Marco Maida's avatar build coq-8.12

00:05:26

passed #117250
additivity-theory
6eba982a
#42958 by Marco Maida's avatar build spell-check

00:00:14

passed #117249
additivity-theory
6eba982a
#42958 by Marco Maida's avatar build proof-length

00:00:08

passed #117248
additivity-theory
6eba982a
#42958 by Marco Maida's avatar build build-for-process-classic

00:19:31

passed #117247
additivity-theory
6eba982a
#42958 by Marco Maida's avatar build build-for-process

00:02:25

passed #117246
additivity-theory
6eba982a
#42958 by Marco Maida's avatar build 1.11.0-coq-8.12

00:05:16

passed #117245
additivity-theory
6eba982a
#42958 by Marco Maida's avatar build 1.11.0-coq-8.11

00:06:17

passed #117244
additivity-theory
6eba982a
#42958 by Marco Maida's avatar build 1.10.0-coq-8.11

00:06:13

passed #116927
additivity-theory
226d39d4
#42860 by Marco Maida's avatar process proof-state

00:04:47