Agda

docs(roadmap): note the doubled-ladder Gate 1 closure in Lane 3 #713

Sign in to view logs

Triggered via pull request June 14, 2026 04:34

synchronize #211

claude/quirky-gauss-GaGZo

Status Success

Total duration 8m 45s

Artifacts –

agda.yml

on: pull_request