reviewdog

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

Sign in to view logs

Triggered via push February 9, 2025 23:36

erikmd

master

Status Success

Total duration 13s

Artifacts –

reviewdog.yml

on: push

runner / shellcheck