Skip to content
Docker CI

ci: add coq 8.20 #75

Sign in to view logs

ci: add coq 8.20

ci: add coq 8.20 #75

Triggered via pull request September 17, 2024 10:07
@fblanquifblanqui
opened #54
coq8.20
Status Success
Total duration 5m 36s
Artifacts –

docker-action.yml

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

Annotations

80 warnings
build (coqorg/coq:8.18): Coccinelle/list_extensions/more_list.v#L207
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.18): Coccinelle/list_extensions/more_list.v#L207
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.18): Coccinelle/list_extensions/more_list.v#L207
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.18): Coccinelle/list_extensions/more_list.v#L233
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.18): Coccinelle/list_extensions/more_list.v#L233
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.18): Coccinelle/list_extensions/more_list.v#L233
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.18): Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
build (coqorg/coq:8.18): Coccinelle/list_extensions/list_permut.v#L57
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.18): Coccinelle/list_extensions/list_permut.v#L57
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.18): Coccinelle/list_extensions/list_permut.v#L57
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:dev): Util/Nat/NatCompat.v#L1
Coq.Arith has been replaced by Stdlib.Arith.
build (coqorg/coq:dev): Util/Logic/LogicUtil.v#L14
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): Util/Logic/EpsilonUtil.v#L12
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): Util/Nat/LeastNat.v#L11
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): Util/List/ListSort.v#L12
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): Coccinelle/basis/TransClosure.v#L14
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): Coccinelle/basis/ordered_set.v#L12
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): Coccinelle/basis/decidable_set.v#L12
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): Coccinelle/list_extensions/equiv_list.v#L12
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): Coccinelle/basis/terminaison.v#L1
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:8.20): Coccinelle/list_extensions/more_list.v#L19
Notation app_length is deprecated since 8.20.
build (coqorg/coq:8.20): Coccinelle/list_extensions/more_list.v#L20
Notation map_length is deprecated since 8.20.
build (coqorg/coq:8.20): Coccinelle/list_extensions/more_list.v#L207
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.20): Coccinelle/list_extensions/more_list.v#L207
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.20): Coccinelle/list_extensions/more_list.v#L207
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.20): Coccinelle/list_extensions/more_list.v#L233
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.20): Coccinelle/list_extensions/more_list.v#L233
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.20): Coccinelle/list_extensions/more_list.v#L233
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.20): Coccinelle/list_extensions/more_list.v#L249
Notation app_length is deprecated since 8.20.
build (coqorg/coq:8.20): Coccinelle/list_extensions/more_list.v#L251
Notation app_length is deprecated since 8.20.
build (coqorg/coq:8.17): Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
build (coqorg/coq:8.17): Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
build (coqorg/coq:8.17): Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
build (coqorg/coq:8.17): Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
build (coqorg/coq:8.17): Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
build (coqorg/coq:8.17): Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
build (coqorg/coq:8.17): Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
build (coqorg/coq:8.17): Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
build (coqorg/coq:8.17): Util/Pair/PairLex.v#L232
Notation "_ >=A _" was already used.
build (coqorg/coq:8.17): Util/Pair/PairLex.v#L232
Notation "_ <=A _" was already used.
build (coqorg/coq:8.16): Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
build (coqorg/coq:8.16): Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
build (coqorg/coq:8.16): Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
build (coqorg/coq:8.16): Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
build (coqorg/coq:8.16): Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
build (coqorg/coq:8.16): Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
build (coqorg/coq:8.16): Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
build (coqorg/coq:8.16): Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
build (coqorg/coq:8.16): Util/Pair/PairLex.v#L232
Notation "_ >=A _" was already used.
build (coqorg/coq:8.16): Util/Pair/PairLex.v#L232
Notation "_ <=A _" was already used.
build (coqorg/coq:8.19): Coccinelle/list_extensions/more_list.v#L207
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.19): Coccinelle/list_extensions/more_list.v#L207
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.19): Coccinelle/list_extensions/more_list.v#L207
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.19): Coccinelle/list_extensions/more_list.v#L233
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.19): Coccinelle/list_extensions/more_list.v#L233
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.19): Coccinelle/list_extensions/more_list.v#L233
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.19): Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
build (coqorg/coq:8.19): Coccinelle/list_extensions/list_permut.v#L57
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.19): Coccinelle/list_extensions/list_permut.v#L57
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.19): Coccinelle/list_extensions/list_permut.v#L57
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:8.15): Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
build (coqorg/coq:8.15): Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
build (coqorg/coq:8.15): Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
build (coqorg/coq:8.15): Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
build (coqorg/coq:8.15): Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
build (coqorg/coq:8.15): Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
build (coqorg/coq:8.15): Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
build (coqorg/coq:8.15): Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
build (coqorg/coq:8.15): Util/Pair/PairLex.v#L232
Notation "_ >=A _" was already used.
build (coqorg/coq:8.15): Util/Pair/PairLex.v#L232
Notation "_ <=A _" was already used.
build (coqorg/coq:8.14): Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
build (coqorg/coq:8.14): Util/FSet/FSetUtil.v#L24
Lonely notation "_ [=] _" was already defined with a different
build (coqorg/coq:8.14): Util/FSet/FSetUtil.v#L25
Lonely notation "_ [<=] _" was already defined with a different
build (coqorg/coq:8.14): Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
build (coqorg/coq:8.14): Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
build (coqorg/coq:8.14): Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
build (coqorg/coq:8.14): Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
build (coqorg/coq:8.14): Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
build (coqorg/coq:8.14): Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
build (coqorg/coq:8.14): Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.