CI #2747
Annotations
10 warnings
|
external/stdpp/stdpp/options.v#L13
Syntax "Export Set" is deprecated, use the attribute syntax
|
|
external/stdpp/stdpp/options.v#L19
Syntax "Export Set" is deprecated, use the attribute syntax
|
|
external/iris/iris/prelude/options.v#L13
Syntax "Export Set" is deprecated, use the attribute syntax
|
|
external/iris/iris/prelude/options.v#L17
Syntax "Export Set" is deprecated, use the attribute syntax
|
|
external/iris/iris/prelude/options.v#L17
Could not enable unknown warning deprecated-hint-without-locality
|
|
external/coqutil/src/coqutil/Word/Properties.v#L61
width_nonneg_context is declared opaque (Qed) but this is not fully
|
|
external/coqutil/src/coqutil/Word/Properties.v#L228
width_nonzero is declared opaque (Qed) but this is not fully
|
|
external/coqutil/src/coqutil/Word/Properties.v#L232
twice_halfm is declared opaque (Qed) but this is not fully respected
|
|
external/iris/iris/algebra/ofe.v#L1580
Hgne is declared opaque (Qed) but this is not fully respected inside
|
|
external/iris/iris/bi/monpred.v#L56
monPred_sig_equiv is declared opaque (Qed) but this is not fully
|
The logs for this run have expired and are no longer available.
Loading