Status Job Pipeline Stage Name Timing Coverage
passed #47874
port-instantiations
0d392409
#21345 by Sergey Bozhko's avatar process proof-length

00:00:15

passed #47873
port-instantiations
0d392409
#21345 by Sergey Bozhko's avatar process doc

00:05:41

passed #47872
port-instantiations
0d392409
#21345 by Sergey Bozhko's avatar process validate

00:04:56

passed #47871
port-instantiations
0d392409
allowed to fail
#21345 by Sergey Bozhko's avatar build latest-coq-8.10

00:02:19

passed #47870
port-instantiations
0d392409
allowed to fail
#21345 by Sergey Bozhko's avatar build 1.9.0-coq-dev

00:04:12

passed #47869
port-instantiations
0d392409
#21345 by Sergey Bozhko's avatar build 1.9.0-coq-8.10

00:03:12

passed #47868
port-instantiations
0d392409
#21345 by Sergey Bozhko's avatar build 1.9.0-coq-8.9

00:03:13

passed #47833
port-instantiations
833599de
#21330 by Sergey Bozhko's avatar process proof-length

00:00:15

passed #47832
port-instantiations
833599de
#21330 by Sergey Bozhko's avatar process doc

00:05:42

passed #47831
port-instantiations
833599de
#21330 by Sergey Bozhko's avatar process validate

00:05:07

passed #47830
port-instantiations
833599de
allowed to fail
#21330 by Sergey Bozhko's avatar build latest-coq-8.10

00:03:17

passed #47829
port-instantiations
833599de
allowed to fail
#21330 by Sergey Bozhko's avatar build 1.9.0-coq-dev

00:03:12

passed #47828
port-instantiations
833599de
#21330 by Sergey Bozhko's avatar build 1.9.0-coq-8.10

00:03:18

passed #47827
port-instantiations
833599de
#21330 by Sergey Bozhko's avatar build 1.9.0-coq-8.9

00:03:04

passed #47826
master
8f172d18
#21329 by Sergey Bozhko's avatar process proof-length

00:00:14

passed #47825
master
8f172d18
#21329 by Sergey Bozhko's avatar process doc

00:04:31

passed #47824
master
8f172d18
#21329 by Sergey Bozhko's avatar process validate

00:04:41

passed #47823
master
8f172d18
allowed to fail
#21329 by Sergey Bozhko's avatar build latest-coq-8.10

00:01:50

passed #47822
master
8f172d18
allowed to fail
#21329 by Sergey Bozhko's avatar build 1.9.0-coq-dev

00:02:36

passed #47821
master
8f172d18
#21329 by Sergey Bozhko's avatar build 1.9.0-coq-8.10

00:02:50

passed #47820
master
8f172d18
#21329 by Sergey Bozhko's avatar build 1.9.0-coq-8.9

00:02:49

passed #47819
port-instantiations
c7a6a6fa
#21328 by Sergey Bozhko's avatar process proof-length

00:00:15

passed #47818
port-instantiations
c7a6a6fa
#21328 by Sergey Bozhko's avatar process doc

00:00:32

passed #47817
port-instantiations
c7a6a6fa
#21328 by Sergey Bozhko's avatar process validate

00:00:58

passed #47816
port-instantiations
c7a6a6fa
allowed to fail
#21328 by Sergey Bozhko's avatar build latest-coq-8.10

00:02:13

passed #47815
port-instantiations
c7a6a6fa
allowed to fail
#21328 by Sergey Bozhko's avatar build 1.9.0-coq-dev

00:03:18

passed #47814
port-instantiations
c7a6a6fa
#21328 by Sergey Bozhko's avatar build 1.9.0-coq-8.10

00:03:28

passed #47813
port-instantiations
c7a6a6fa
#21328 by Sergey Bozhko's avatar build 1.9.0-coq-8.9

00:03:26

canceled #47812
port-instantiations
25c61001
#21327 by Sergey Bozhko's avatar process proof-length

canceled #47811
port-instantiations
25c61001
#21327 by Sergey Bozhko's avatar process doc