fix(CI): Use `mathcomp/mathcomp-dev:rocq-prover-dev` (#102) · coq-community/docker-coq-action@bb56f2e

Triggered via push February 9, 2025 23:36

erikmd

master

Status Success

Total duration 6m 8s

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

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

Produced during runtime

Name	Size
example-artifact Expired	1.67 KB