Skip to content
Agda

Merge branch 'main' into claude/add-ordinal-notation-layer-9qhSf #28

Sign in to view logs

Merge branch 'main' into claude/add-ordinal-notation-layer-9qhSf

Merge branch 'main' into claude/add-ordinal-notation-layer-9qhSf #28

Triggered via push April 22, 2026 11:53
@hyperpolymathhyperpolymath
pushed 3ae248f
claude/add-ordinal-notation-layer-9qhSf
Status Success
Total duration 5m 42s
Artifacts –

agda.yml

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