Docker-Coq CI · coq-community/docker-coq-action@ae62702

Triggered via schedule October 8, 2024 16:08

erikmd

master

Status Success

Total duration 8m 1s

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

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

Produced during runtime

Name	Size
example-artifact Expired	1.72 KB