Regression Test

docs(README.md): replace last occ of `coq:coq` with `1000:1000` #113

Sign in to view logs

Triggered via push February 9, 2025 20:53

erikmd

master

Status Success

Total duration 2m 35s

Artifacts –

gha-rt.yml

on: push

test / script with quotes / custom_image / opam

test / multi-call / custom_image / custom_script