Skip to content

Docker-Coq CI

Docker-Coq CI #428

Triggered via schedule May 9, 2024 16:17
Status Failure
Total duration 6m 34s
Artifacts 1

coq-demo.yml

on: schedule
Matrix: coq_version / docker-coq / opam
Matrix: custom_image / docker-mathcomp / opam
Matrix: custom_image / docker-coq / make / script
Matrix: custom_image / docker-coq / make / custom_script
Matrix: custom_image / docker-coq / opam / env
Matrix: custom_image / docker-coq / opam / auto install depexts
Matrix: custom_image / docker-coq / opam / apt-get install more
Matrix: custom_image / docker-coq / opam+make / upload-artifacts
Fit to window
Zoom out
Zoom in

Annotations

27 warnings
coq_version / docker-coq / opam (8.18, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
coq_version / docker-coq / opam (8.18, default)
Interpreting this declaration as if a global declaration prefixed by
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
Interpreting this declaration as if a global declaration prefixed by
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
Interpreting this declaration as if a global declaration prefixed by
custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
coq_version / docker-coq / opam (dev, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
coq_version / docker-coq / opam (dev, default)
Interpreting this declaration as if a global declaration prefixed by
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
Interpreting this declaration as if a global declaration prefixed by
custom_image / docker-coq / make / script (coqorg/coq:dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
custom_image / docker-coq / make / script (coqorg/coq:latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
custom_image / docker-coq / make / script (coqorg/coq:latest)
Interpreting this declaration as if a global declaration prefixed by
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
Interpreting this declaration as if a global declaration prefixed by
coq_version / docker-coq / opam (latest-native, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
coq_version / docker-coq / opam (latest-native, default)
Interpreting this declaration as if a global declaration prefixed by
custom_image / docker-coq / opam / env (coqorg/coq:latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
custom_image / docker-coq / opam / env (coqorg/coq:latest)
Interpreting this declaration as if a global declaration prefixed by
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
Interpreting this declaration as if a global declaration prefixed by
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "example-artifact". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
Interpreting this declaration as if a global declaration prefixed by

Artifacts

Produced during runtime
Name Size
example-artifact Expired
4.99 KB