Agda

Merge branch 'main' into claude/echo-types-theory-docs #81

Sign in to view logs

Triggered via push April 22, 2026 22:21

claude/echo-types-theory-docs

Status Success

Total duration 5m 42s

Artifacts –

agda.yml

on: push