Skip to content
Agda

Merge branch 'main' into claude/buchholz-order-def #61

Sign in to view logs

Merge branch 'main' into claude/buchholz-order-def

Merge branch 'main' into claude/buchholz-order-def #61

Triggered via push April 22, 2026 18:31
@hyperpolymathhyperpolymath
pushed 81f3743
claude/buchholz-order-def
Status Success
Total duration 2m 59s
Artifacts –

agda.yml

on: push
check
2m 2s
check
Fit to window
Zoom out
Zoom in