Skip to content
CI

CI #63

Sign in to view logs

CI

CI #63

Triggered via schedule October 22, 2024 08:08
@tchajedtchajed
⁠ 9fa42b7
master
Status Success
Total duration 1m 55s
Artifacts –

coq-action.yml

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

Annotations

20 warnings
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.
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/classes/src/Classes.v#L1
"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.