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

Triggered via schedule February 24, 2025 16:27

erikmd

master

Status Success

Total duration 6m 16s

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	1.67 KB