Skip to content
Coq Build (formal/)

Delete .machine_readable/CLADE.a2ml #111

Sign in to view logs

Delete .machine_readable/CLADE.a2ml

Delete .machine_readable/CLADE.a2ml #111

Triggered via push June 15, 2026 20:53
@hyperpolymathhyperpolymath
pushed 3a5aced
main
Status Success
Total duration 27s
Artifacts –

coq-build.yml

on: push
detect-relevant-changes
4s
detect-relevant-changes
Coq build — formal/_CoqProject
Coq build — formal/_CoqProject
coq-build-gate
2s
coq-build-gate
Fit to window
Zoom out
Zoom in