Skip to content
Agda

Delete EXPLAINME.adoc #901

Sign in to view logs

Delete EXPLAINME.adoc

Delete EXPLAINME.adoc #901

Triggered via push August 17, 2026 12:58
@hyperpolymathhyperpolymath
pushed 3dfdf4e
main
Status Success
Total duration 9m 51s
Artifacts –

agda.yml

on: push
check
1m 57s
check
cold-check
9m 46s
cold-check
Fit to window
Zoom out
Zoom in