Agda

docs/echo-types: sync composition and roadmap with landed work #120

Sign in to view logs

Triggered via pull request April 23, 2026 05:17

opened #18

claude/echo-types-docs-sync

Status Success

Total duration 2m 6s

Artifacts –

agda.yml

on: pull_request