fix: Use actions/upload-artifact@v4 · coq-community/docker-coq-action@126f826

Triggered via pull request July 14, 2024 21:30

erikmd

opened #96

bump-artifact

Status Success

Total duration 13m 16s

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

Produced during runtime

Name	Size
example-artifact Expired	1.69 KB