Skip to content
Agda

Merge branch 'main' into claude/echo-comp-iso #125

Sign in to view logs

Merge branch 'main' into claude/echo-comp-iso

Merge branch 'main' into claude/echo-comp-iso #125

Triggered via push April 23, 2026 05:19
@hyperpolymathhyperpolymath
pushed 3401f03
claude/echo-comp-iso
Status Success
Total duration 2m 17s
Artifacts –

agda.yml

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