Status Job Pipeline Stage Name Timing Coverage
passed #115592
additivity-theory
751854b3
#42513 by Marco Maida's avatar process proof-state

00:04:55

passed #115591
additivity-theory
751854b3
#42513 by Marco Maida's avatar process doc-classic

00:06:46

passed #115590
additivity-theory
751854b3
#42513 by Marco Maida's avatar process doc

00:00:17

passed #115589
additivity-theory
751854b3
#42513 by Marco Maida's avatar process validate-classic

00:01:14

passed #115588
additivity-theory
751854b3
#42513 by Marco Maida's avatar process validate

00:00:52

passed #115587
additivity-theory
751854b3
#42513 by Marco Maida's avatar build coq-dev

00:05:35

passed #115586
additivity-theory
751854b3
#42513 by Marco Maida's avatar build coq-8.12

00:05:38

passed #115585
additivity-theory
751854b3
#42513 by Marco Maida's avatar build spell-check

00:00:16

passed #115584
additivity-theory
751854b3
#42513 by Marco Maida's avatar build proof-length

00:00:08

passed #115583
additivity-theory
751854b3
#42513 by Marco Maida's avatar build build-for-process-classic

00:03:50

passed #115582
additivity-theory
751854b3
#42513 by Marco Maida's avatar build build-for-process

00:02:25

passed #115581
additivity-theory
751854b3
#42513 by Marco Maida's avatar build 1.11.0-coq-8.12

00:05:20

passed #115580
additivity-theory
751854b3
#42513 by Marco Maida's avatar build 1.11.0-coq-8.11

00:06:23

passed #115579
additivity-theory
751854b3
#42513 by Marco Maida's avatar build 1.10.0-coq-8.11

00:06:21

canceled #115578
additivity-theory
56e63413
#42512 by Marco Maida's avatar process proof-state

canceled #115577
additivity-theory
56e63413
#42512 by Marco Maida's avatar process doc-classic

canceled #115576
additivity-theory
56e63413
#42512 by Marco Maida's avatar process doc

canceled #115575
additivity-theory
56e63413
#42512 by Marco Maida's avatar process validate-classic

canceled #115574
additivity-theory
56e63413
#42512 by Marco Maida's avatar process validate

canceled #115573
additivity-theory
56e63413
allowed to fail
#42512 by Marco Maida's avatar build coq-dev

canceled #115572
additivity-theory
56e63413
allowed to fail
#42512 by Marco Maida's avatar build coq-8.12

canceled #115571
additivity-theory
56e63413
#42512 by Marco Maida's avatar build spell-check

canceled #115570
additivity-theory
56e63413
#42512 by Marco Maida's avatar build proof-length

canceled #115569
additivity-theory
56e63413
#42512 by Marco Maida's avatar build build-for-process-classic

canceled #115568
additivity-theory
56e63413
#42512 by Marco Maida's avatar build build-for-process

canceled #115567
additivity-theory
56e63413
#42512 by Marco Maida's avatar build 1.11.0-coq-8.12

canceled #115566
additivity-theory
56e63413
#42512 by Marco Maida's avatar build 1.11.0-coq-8.11

canceled #115565
additivity-theory
56e63413
#42512 by Marco Maida's avatar build 1.10.0-coq-8.11

passed #115251
additivity-theory
69e06696
#42442 by Marco Maida's avatar process proof-state

00:04:57

passed #115250
additivity-theory
69e06696
#42442 by Marco Maida's avatar process doc-classic

00:06:51