Skip to content
Docker CI

refactor Decode #15

Sign in to view logs

refactor Decode

refactor Decode #15

Triggered via push September 20, 2024 13:06
@liyishuailiyishuai
pushed d63ba70
master
Status Success
Total duration 6m 12s
Artifacts –

docker-action.yml

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

Annotations

18 warnings
build (coqorg/coq:8.18)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (coqorg/coq:8.17)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (coqorg/coq:8.19)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (coqorg/coq:8.20)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (coqorg/coq:dev)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (coqorg/coq:dev): JSON.v#L8
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev)
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): Printer.v#L3
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev)
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev)
Coq.extraction has been replaced by Stdlib.extraction.
build (coqorg/coq:dev)
Coq.Lists has been replaced by Stdlib.Lists.
build (coqorg/coq:dev)
Coq.PArith has been replaced by Stdlib.PArith.
build (coqorg/coq:dev)
Coq.NArith has been replaced by Stdlib.NArith.
build (coqorg/coq:dev): Decode.v#L1
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev)
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:8.15)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (coqorg/coq:8.16)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (coqorg/coq:8.14)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/