CN: add a --coq option to tests/run-cn.sh #95

Sign in to view logs

Triggered via push September 1, 2023 14:11

talsewell

master

Status Success

Total duration 8m 6s

Artifacts –

ci.yml

on: push

Matrix: build