Skip to content
Docker CI

Bump actions/checkout from 2 to 4 (#52) #71

Sign in to view logs

Bump actions/checkout from 2 to 4 (#52)

Bump actions/checkout from 2 to 4 (#52) #71

Triggered via push July 16, 2024 11:12
@fblanquifblanqui
pushed df743bf
master
Status Success
Total duration 5m 14s
Artifacts –

docker-action.yml

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

Annotations

70 warnings
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): Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
build (coqorg/coq:8.19): Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
build (coqorg/coq:8.19): Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
build (coqorg/coq:dev): Coccinelle/list_extensions/more_list.v#L19
Notation app_length is deprecated since 8.20.
build (coqorg/coq:dev): Coccinelle/list_extensions/more_list.v#L20
Notation map_length is deprecated since 8.20.
build (coqorg/coq:dev): Coccinelle/list_extensions/more_list.v#L207
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:dev): Coccinelle/list_extensions/more_list.v#L207
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:dev): Coccinelle/list_extensions/more_list.v#L207
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:dev): Coccinelle/list_extensions/more_list.v#L233
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:dev): Coccinelle/list_extensions/more_list.v#L233
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:dev): Coccinelle/list_extensions/more_list.v#L233
Notation ass_app is deprecated since 8.18. Use app_assoc instead.
build (coqorg/coq:dev): Coccinelle/list_extensions/more_list.v#L249
Notation app_length is deprecated since 8.20.
build (coqorg/coq:dev): Coccinelle/list_extensions/more_list.v#L251
Notation app_length is deprecated since 8.20.
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): Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
build (coqorg/coq:8.18): Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
build (coqorg/coq:8.18): Util/Pair/PairLex.v#L231
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.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.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.