Skip to content
Regression Test

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test / multi-call / custom_image / custom_script
12s
test / script with quotes / custom_image / opam
2m 27s
2m 39s