10000 opam file lint: fix license name · fblanqui/color@b063daf · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Docker CI

opam file lint: fix license name #67

Sign in to view logs

opam file lint: fix license name

opam file lint: fix license name #67

Triggered via push April 16, 2024 21:46
@fblanquifblanqui
pushed b063daf
1.8.5
Status Success
Total duration 5m 21s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docker-action.yml

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

Annotations

84 warnings
build (coqorg/coq:8.19)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (coqorg/coq:8.19)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
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.18)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (coqorg/coq:8.18)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
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:8.16)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (coqorg/coq:8.16)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
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:dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (coqorg/coq:dev)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
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.17)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (coqorg/coq:8.17)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
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.14)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (coqorg/coq:8.15)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (coqorg/coq:8.14)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (coqorg/coq:8.15)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (coqorg/coq:8.15): 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.15): Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
build (coqorg/coq:8.14): Util/FSet/FSetUtil.v#L25
Lonely notation "_ [<=] _" was already defined with a different
build (coqorg/coq:8.15): Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
build (coqorg/coq:8.14): Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
build (coqorg/coq:8.15): Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
build (coqorg/coq:8.14): 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.14): Util/Pair/PairLex.v#L229
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/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.14): 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.14): 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/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/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
0