coqchk

Trace element ≝ process #72

Sign in to view logs

Triggered via push February 26, 2026 02:30

k32

dev/setoids

Status Failure

Total duration 2m 5s

Artifacts –

coqchk.yml

on: push

Matrix: build