Skip to content
CI

Merge pull request #7 from proux01/stdlib_repo #58

Sign in to view logs

Merge pull request #7 from proux01/stdlib_repo

Merge pull request #7 from proux01/stdlib_repo #58

Triggered via push September 17, 2024 12:38
@tchajedtchajed
pushed 9fa42b7
master
Status Success
Total duration 1m 45s
Artifacts –

coq-action.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

20 warnings
build (coqorg/coq:dev): vendor/classes/src/EqualDec.v#L1
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): vendor/classes/src/EqualDec.v#L2
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): vendor/classes/src/EqualDec.v#L3
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): vendor/classes/src/EqualDec.v#L4
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): vendor/array/src/Array.v#L1
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): vendor/array/src/Array.v#L2
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): vendor/array/src/Array.v#L3
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): vendor/array/src/Array.v#L281
Notation firstn_length is deprecated since 8.20.
build (coqorg/coq:dev): vendor/array/src/Array.v#L281
Notation firstn_length is deprecated since 8.20.
build (coqorg/coq:dev): vendor/array/src/Array.v#L281
Notation firstn_length is deprecated since 8.20.
build (coqorg/coq:8.20): vendor/array/src/Array.v#L281
Notation firstn_length is deprecated since 8.20.
build (coqorg/coq:8.20): vendor/array/src/Array.v#L281
Notation firstn_length is deprecated since 8.20.
build (coqorg/coq:8.20): vendor/array/src/Array.v#L281
Notation firstn_length is deprecated since 8.20.
build (coqorg/coq:8.20): vendor/array/src/Array.v#L491
Notations "_ [ _ := _ ]" defined at level 10 with arguments constr
build (coqorg/coq:8.20): src/Examples/Logging/LogicalLog.v#L161
Notation app_length is deprecated since 8.20.
build (coqorg/coq:8.20): src/Examples/Logging/LogicalLog.v#L161
Notation app_length is deprecated since 8.20.
build (coqorg/coq:8.20): src/Examples/Logging/LogicalLog.v#L161
Notation app_length is deprecated since 8.20.
build (coqorg/coq:8.20): src/Examples/Logging/LogicalLog.v#L226
Notation firstn_length is deprecated since 8.20.
build (coqorg/coq:8.20): src/Examples/Logging/LogicalLog.v#L226
Notation firstn_length is deprecated since 8.20.
build (coqorg/coq:8.20): src/Examples/Logging/LogicalLog.v#L226
Notation firstn_length is deprecated since 8.20.