fix: Use actions/checkout@v4 · coq-community/docker-coq-action@851b9fd

Triggered via pull request July 14, 2024 21:06

erikmd

opened #95

bump-checkout

Status Success

Total duration 10m 30s

Artifacts 1

coq-demo.yml

on: pull_request

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

Matrix: custom_image / docker-mathcomp / opam / env+GITHUB_ENV

3 warnings

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/

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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/

Produced during runtime

Name	Size
example-artifact Expired	3.74 KB