Skip to content
coqchk

PID -> Ref #76

Sign in to view logs

PID -> Ref

PID -> Ref #76

Triggered via push March 1, 2026 13:41
@k32k32
pushed f33c82e
dev/setoids
Status Failure
Total duration 2m 2s
Artifacts –

coqchk.yml

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