Skip to content
Agda

Sync README and roadmap status across echo and bridge tracks #101

Sign in to view logs

Sync README and roadmap status across echo and bridge tracks

Sync README and roadmap status across echo and bridge tracks #101

Triggered via push April 22, 2026 23:41
@hyperpolymathhyperpolymath
pushed d87781b
main
Status Success
Total duration 1m 54s
Artifacts –

agda.yml

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