Regression Test

fix(CI): Use `mathcomp/mathcomp-dev:rocq-prover-dev` #114

Sign in to view logs

Triggered via pull request February 9, 2025 23:19

erikmd

opened #102

fix-ci

Status Success

Total duration 2m 37s

Artifacts –

gha-rt.yml

on: pull_request

test / script with quotes / custom_image / opam

test / multi-call / custom_image / custom_script