Skip to content
Agda

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

Sign in to view logs

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

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

Triggered via push June 14, 2026 04:34
@hyperpolymathhyperpolymath
pushed 0469e91
main
Status Success
Total duration 11m 48s
Artifacts –

agda.yml

on: push
check
1m 54s
check
cold-check
11m 29s
cold-check
Fit to window
Zoom out
Zoom in