adapt to coq/coq#19872 #56
Annotations
11 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
theories/Data/Eq/UIP_trans.v#L56
Implicit arguments declaration relies on type. Discarding
|
|
theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
|
|
theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
|
|
theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
|
|
theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
|
|
theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
|
|
theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
|
|
theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
|
|
theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
|
|
theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
|
The logs for this run have expired and are no longer available.
Loading