Regression Test

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

Sign in to view logs

Triggered via push February 9, 2025 23:36

erikmd

master

Status Success

Total duration 2m 36s

Artifacts –

gha-rt.yml

on: push

test / script with quotes / custom_image / opam

test / multi-call / custom_image / custom_script