Adapt to Coq/Coq#18164 #9
Triggered via pull request
October 22, 2023 05:07
Villetaneuse
Status
Failure
Total duration
1h 49m 13s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
86 warnings
|
build (8.11):
theories/Data/Eq/UIP_trans.v#L56
Implicit arguments declaration relies on type. Discarding
|
|
build (8.11):
theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.11):
theories/Structures/Monad.v#L56
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.11):
theories/Data/Char.v#L35
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.11):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.11):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.11):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.11):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.11):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.11):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.12):
theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.12):
theories/Structures/Monad.v#L56
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.12):
theories/Data/Char.v#L35
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.12):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.12):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.12):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.12):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.12):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.12):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.12):
theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.17):
theories/Structures/Monoid.v#L16
A coercion will be introduced instead of an instance in future
|
|
build (8.17):
theories/Programming/Eqv.v#L8
A coercion will be introduced instead of an instance in future
|
|
build (8.17):
theories/Programming/Le.v#L29
A coercion will be introduced instead of an instance in future
|
|
build (8.17):
theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.17):
theories/Structures/Monad.v#L56
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.17):
theories/Data/Char.v#L35
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.17):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.17):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.17):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.17):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.17)
No files were found with the provided path: html. No artifacts will be uploaded.
|
|
build (8.13):
theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.13):
theories/Structures/Monad.v#L56
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.13):
theories/Data/Char.v#L35
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.13):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.13):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.13):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.13):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.13):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.13):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.13):
theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.13)
No files were found with the provided path: html. No artifacts will be uploaded.
|
|
build (8.15)
No files were found with the provided path: html. No artifacts will be uploaded.
|
|
build (8.15):
theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.15):
theories/Structures/Monad.v#L56
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.15):
theories/Data/Char.v#L35
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.15):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.15):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.15):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.15):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.15):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.15):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.15):
theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.16):
theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.16):
theories/Structures/Monad.v#L56
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.16):
theories/Data/Char.v#L35
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.16):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.16):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.16):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.16):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.16):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.16):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.16):
theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.16)
No files were found with the provided path: html. No artifacts will be uploaded.
|
|
build (dev):
theories/Structures/Monoid.v#L16
A coercion will be introduced instead of an instance in future
|
|
build (dev):
theories/Programming/Eqv.v#L8
A coercion will be introduced instead of an instance in future
|
|
build (dev):
theories/Programming/Le.v#L29
A coercion will be introduced instead of an instance in future
|
|
build (dev):
theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (dev):
theories/Structures/Monad.v#L56
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (dev):
theories/Data/Char.v#L35
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (dev):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (dev):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (dev):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (dev):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (dev)
No files were found with the provided path: html. No artifacts will be uploaded.
|
|
build (8.14)
No files were found with the provided path: html. No artifacts will be uploaded.
|
|
build (8.14):
theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.14):
theories/Structures/Monad.v#L56
Declaring a scope implicitly is deprecated; use in advance an
|
|
build (8.14):
theories/Data/Char.v#L35
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.14):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.14):
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
|
build (8.14):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.14):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.14):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.14):
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
|
build (8.14):
theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
|