Run test-suite in CIs #116
Merged
Annotations
10 warnings
|
|
|
|
|
|
|
theories/lra.v#L3
"From Coq" has been replaced by "From Stdlib".
|
|
theories/ring.v#L2
"From Coq" has been replaced by "From Stdlib".
|
|
theories/lra.v#L2
"From Coq" has been replaced by "From Stdlib".
|
|
theories/common.v#L1334
Reference Zeq_is_eq_bool is deprecated since 9.0.
|
|
theories/common.v#L1334
Reference Zeq_is_eq_bool is deprecated since 9.0.
|
|
theories/common.v#L3
"From Coq" has been replaced by "From Stdlib".
|
|
theories/common.v#L2
"From Coq" has been replaced by "From Stdlib".
|
The logs for this run have expired and are no longer available.
Loading