Skip to content
coqchk

Add initial handler state #77

Sign in to view logs

Add initial handler state

Add initial handler state #77

Triggered via push March 5, 2026 10:00
@k32k32
pushed 7899f9b
dev/setoids
Status Failure
Total duration 2m 58s
Artifacts –

coqchk.yml

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