Skip to content
coqchk

Update README.md #80

Sign in to view logs

Update README.md

Update README.md #80

Triggered via push March 5, 2026 23:28
@k32k32
pushed 8149502
oldmaster
Status Failure
Total duration 2m 4s
Artifacts –

coqchk.yml

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