coqchk

Some ergonomics tests. #71

Sign in to view logs

Triggered via push February 23, 2026 02:05

k32

dev/setoids

Status Failure

Total duration 2m 14s

Artifacts –

coqchk.yml

on: push

Matrix: build