CI (docker) #796
JasonGrossci-dev.yml
on: schedule
Matrix: build
check-all-docker
0s
Annotations
130 errors and 110 warnings
|
build (8.4, default)
The command has not failed !
|
|
build (8.4, default)
The command has not failed !
|
|
build (8.4, default)
The command has not failed !
|
|
build (8.4, default):
examples/example_000/bug_000.v#L15
The command has not failed !
|
|
build (8.4, default):
examples/example_000/bug_000.v#L6
The command has not failed !
|
|
build (8.4, default):
examples/example_000/bug_000.v#L6
The command has not failed !
|
|
build (8.4, default):
examples/example_001/C.v#L13
Impossible to unify "Type" with "Prop".
|
|
build (8.4, default)
Impossible to unify "Type" with "Prop".
|
|
build (8.4, default)
Impossible to unify "Type" with "Prop".
|
|
build (8.4, default)
The reference A was not found in the current environment.
|
|
build (8.5, default)
The command has not failed!
|
|
build (8.5, default)
The command has not failed!
|
|
build (8.5, default)
The command has not failed!
|
|
build (8.5, default)
The command has not failed!
|
|
build (8.5, default)
The command has not failed!
|
|
build (8.5, default)
The command has not failed!
|
|
build (8.5, default)
Unable to unify "Type" with "Prop".
|
|
build (8.5, default)
Unable to unify "Type" with "Prop".
|
|
build (8.5, default)
Unable to unify "Type" with "Prop".
|
|
build (8.5, default)
The reference A was not found in the current environment.
|
|
build (8.9, default)
The command has not failed!
|
|
build (8.9, default)
The command has not failed!
|
|
build (8.9, default)
The command has not failed!
|
|
build (8.9, default)
The command has not failed!
|
|
build (8.9, default)
The command has not failed!
|
|
build (8.9, default)
The command has not failed!
|
|
build (8.9, default)
Unable to unify "Type" with "Prop".
|
|
build (8.9, default)
Unable to unify "Type" with "Prop".
|
|
build (8.9, default)
Unable to unify "Type" with "Prop".
|
|
build (8.9, default)
The reference A was not found in the current environment.
|
|
build (8.6, default)
The command has not failed!
|
|
build (8.6, default)
The command has not failed!
|
|
build (8.6, default)
The command has not failed!
|
|
build (8.6, default)
The command has not failed!
|
|
build (8.6, default)
The command has not failed!
|
|
build (8.6, default)
The command has not failed!
|
|
build (8.6, default)
Unable to unify "Type" with "Prop".
|
|
build (8.6, default)
Unable to unify "Type" with "Prop".
|
|
build (8.6, default)
Unable to unify "Type" with "Prop".
|
|
build (8.6, default)
The reference A was not found in the current environment.
|
|
build (8.8, default)
The command has not failed!
|
|
build (8.8, default)
The command has not failed!
|
|
build (8.8, default)
The command has not failed!
|
|
build (8.8, default)
The command has not failed!
|
|
build (8.8, default)
The command has not failed!
|
|
build (8.8, default)
The command has not failed!
|
|
build (8.8, default)
Unable to unify "Type" with "Prop".
|
|
build (8.8, default)
Unable to unify "Type" with "Prop".
|
|
build (8.8, default)
Unable to unify "Type" with "Prop".
|
|
build (8.8, default)
The reference A was not found in the current environment.
|
|
build (8.7, default)
The command has not failed!
|
|
build (8.7, default)
The command has not failed!
|
|
build (8.7, default)
The command has not failed!
|
|
build (8.7, default)
The command has not failed!
|
|
build (8.7, default)
The command has not failed!
|
|
build (8.7, default)
The command has not failed!
|
|
build (8.7, default)
Unable to unify "Type" with "Prop".
|
|
build (8.7, default)
Unable to unify "Type" with "Prop".
|
|
build (8.7, default)
Unable to unify "Type" with "Prop".
|
|
build (8.7, default)
The reference A was not found in the current environment.
|
|
build (8.11, default)
The command has not failed!
|
|
build (8.11, default)
The command has not failed!
|
|
build (8.11, default)
The command has not failed!
|
|
build (8.11, default)
The command has not failed!
|
|
build (8.11, default)
The command has not failed!
|
|
build (8.11, default)
The command has not failed!
|
|
build (8.11, default)
Unable to unify "Type" with "Prop".
|
|
build (8.11, default)
Unable to unify "Type" with "Prop".
|
|
build (8.11, default)
Unable to unify "Type" with "Prop".
|
|
build (8.11, default)
The reference A was not found in the current environment.
|
|
build (8.10, default)
The command has not failed!
|
|
build (8.10, default)
The command has not failed!
|
|
build (8.10, default)
The command has not failed!
|
|
build (8.10, default)
The command has not failed!
|
|
build (8.10, default)
The command has not failed!
|
|
build (8.10, default)
The command has not failed!
|
|
build (8.10, default)
Unable to unify "Type" with "Prop".
|
|
build (8.10, default)
Unable to unify "Type" with "Prop".
|
|
build (8.10, default)
Unable to unify "Type" with "Prop".
|
|
build (8.10, default)
The reference A was not found in the current environment.
|
|
build (8.13, default)
The command has not failed!
|
|
build (8.13, default)
The command has not failed!
|
|
build (8.13, default)
The command has not failed!
|
|
build (8.13, default)
The command has not failed!
|
|
build (8.13, default)
The command has not failed!
|
|
build (8.13, default)
The command has not failed!
|
|
build (8.13, default)
Unable to unify "Type" with "Prop".
|
|
build (8.13, default)
Unable to unify "Type" with "Prop".
|
|
build (8.13, default)
Unable to unify "Type" with "Prop".
|
|
build (8.13, default)
The reference A was not found in the current environment.
|
|
build (8.12, default)
The command has not failed!
|
|
build (8.12, default)
The command has not failed!
|
|
build (8.12, default)
The command has not failed!
|
|
build (8.12, default)
The command has not failed!
|
|
build (8.12, default)
The command has not failed!
|
|
build (8.12, default)
The command has not failed!
|
|
build (8.12, default)
Unable to unify "Type" with "Prop".
|
|
build (8.12, default)
Unable to unify "Type" with "Prop".
|
|
build (8.12, default)
Unable to unify "Type" with "Prop".
|
|
build (8.12, default)
The reference A was not found in the current environment.
|
|
build (8.14, default)
The command has not failed!
|
|
build (8.14, default)
The command has not failed!
|
|
build (8.14, default)
The command has not failed!
|
|
build (8.14, default)
The command has not failed!
|
|
build (8.14, default)
The command has not failed!
|
|
build (8.14, default)
The command has not failed!
|
|
build (8.14, default)
Unable to unify "Type" with "Prop".
|
|
build (8.14, default)
Unable to unify "Type" with "Prop".
|
|
build (8.14, default)
Unable to unify "Type" with "Prop".
|
|
build (8.14, default)
The reference A was not found in the current environment.
|
|
build (8.15, default)
The command has not failed!
|
|
build (8.15, default)
The command has not failed!
|
|
build (8.15, default)
The command has not failed!
|
|
build (8.15, default)
The command has not failed!
|
|
build (8.15, default)
The command has not failed!
|
|
build (8.15, default)
The command has not failed!
|
|
build (8.15, default)
Unable to unify "Type" with "Prop".
|
|
build (8.15, default)
Unable to unify "Type" with "Prop".
|
|
build (8.15, default)
Unable to unify "Type" with "Prop".
|
|
build (8.15, default)
The reference A was not found in the current environment.
|
|
build (dev, default)
The command has not failed!
|
|
build (dev, default)
The command has not failed!
|
|
build (dev, default)
The command has not failed!
|
|
build (dev, default)
The command has not failed!
|
|
build (dev, default)
The command has not failed!
|
|
build (dev, default)
The command has not failed!
|
|
build (dev, default)
Universe inconsistency. Cannot enforce Top.B.9 = Set because Set
|
|
build (dev, default)
Universe inconsistency. Cannot enforce Top.C.11 = Set because Set
|
|
build (dev, default)
Universe inconsistency. Cannot enforce example_001_output.11 =
|
|
build (dev, default)
The command has not failed!
|
|
build (8.9, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.9, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.9, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.9, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.9, default)
Let definition foo_obligation_1 declared as an axiom.
|
|
build (8.9, default)
Let definition foo_obligation_1 declared as an axiom.
|
|
build (8.9, default)
Let definition foo_obligation_1 declared as an axiom.
|
|
build (8.9, default)
Let definition foo_obligation_1 declared as an axiom.
|
|
build (8.9, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.9, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.6, default)
There is no option Nested Proofs Allowed.
|
|
build (8.6, default)
Nested proofs are deprecated and will stop working in a future Coq
|
|
build (8.6, default)
There is no option Nested Proofs Allowed.
|
|
build (8.6, default)
Nested proofs are deprecated and will stop working in a future Coq
|
|
build (8.6, default)
There is no option Nested Proofs Allowed.
|
|
build (8.6, default)
Nested proofs are deprecated and will stop working in a future Coq
|
|
build (8.6, default)
There is no option Nested Proofs Allowed.
|
|
build (8.6, default)
Nested proofs are deprecated and will stop working in a future Coq
|
|
build (8.6, default)
Let definition foo_obligation_1 declared as an axiom.
|
|
build (8.6, default)
Let definition foo_obligation_1 declared as an axiom.
|
|
build (8.8, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.8, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.8, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.8, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.8, default)
There is no option Nested Proofs Allowed.
|
|
build (8.8, default)
Nested proofs are deprecated and will stop working in a future Coq
|
|
build (8.8, default)
There is no option Nested Proofs Allowed.
|
|
build (8.8, default)
Nested proofs are deprecated and will stop working in a future Coq
|
|
build (8.8, default)
There is no option Nested Proofs Allowed.
|
|
build (8.8, default)
Nested proofs are deprecated and will stop working in a future Coq
|
|
build (8.7, default)
There is no option Nested Proofs Allowed.
|
|
build (8.7, default)
Nested proofs are deprecated and will stop working in a future Coq
|
|
build (8.7, default)
There is no option Nested Proofs Allowed.
|
|
build (8.7, default)
Nested proofs are deprecated and will stop working in a future Coq
|
|
build (8.7, default)
There is no option Nested Proofs Allowed.
|
|
build (8.7, default)
Nested proofs are deprecated and will stop working in a future Coq
|
|
build (8.7, default)
There is no option Nested Proofs Allowed.
|
|
build (8.7, default)
Nested proofs are deprecated and will stop working in a future Coq
|
|
build (8.7, default)
Let definition foo_obligation_1 declared as an axiom.
|
|
build (8.7, default)
Let definition foo_obligation_1 declared as an axiom.
|
|
build (8.11, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.11, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.11, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.11, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.11, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.11, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.11, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.11, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.11, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.11, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.10, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.10, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.10, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.10, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.10, default)
Let definition foo_obligation_1 declared as an axiom.
|
|
build (8.10, default)
Let definition foo_obligation_1 declared as an axiom.
|
|
build (8.10, default)
Let definition foo_obligation_1 declared as an axiom.
|
|
build (8.10, default)
Let definition foo_obligation_1 declared as an axiom.
|
|
build (8.10, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.10, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.13, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.13, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.13, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.13, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.13, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.13, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.13, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.13, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.13, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.13, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.12, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.12, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.12, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.12, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.12, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.12, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.12, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.12, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.12, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.12, default)
Require inside a module is deprecated and strongly discouraged. You
|
|
build (8.14, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.14, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.14, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.14, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.14, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (8.14, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (8.14, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (8.14, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (8.14, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (8.14, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (8.15, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.15, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.15, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.15, default)
Trying to mask the absolute name "B.B"!
|
|
build (8.15, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (8.15, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (8.15, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (8.15, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (8.15, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (8.15, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (dev, default)
Trying to mask the absolute name "B.B"!
|
|
build (dev, default)
Trying to mask the absolute name "B.B"!
|
|
build (dev, default)
Trying to mask the absolute name "B.B"!
|
|
build (dev, default)
Trying to mask the absolute name "B.B"!
|
|
build (dev, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (dev, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (dev, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (dev, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (dev, default)
Use of “Require” inside a module is fragile. It is not recommended
|
|
build (dev, default)
Use of “Require” inside a module is fragile. It is not recommended
|