Docker-Coq CI

docs: Document `export: 'COQ_IMAGE'` along with a test (#92) #454

Sign in to view logs

Triggered via push May 12, 2024 13:08

erikmd

master

Status Success

Total duration 8m 47s

Artifacts 1

coq-demo.yml

on: push

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

Annotations

29 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

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-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-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/.

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 / 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: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 / 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

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

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 / 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

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 / 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 / script (coqorg/coq:dev)

Interpreting this declaration as if a global declaration prefixed by

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 / custom_script (coqorg/coq:dev)

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/

Artifacts

Produced during runtime

Name	Size
example-artifact Expired	4.99 KB