Skip to content
coqchk

Code cleanup #74

Sign in to view logs

Code cleanup

Code cleanup #74

Triggered via push February 26, 2026 19:37
@k32k32
pushed db7c476
dev/setoids
Status Failure
Total duration 2m 10s
Artifacts –

coqchk.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in