Skip to content
Agda

docs(handoffs): EchoTypes.jl EchoAggregation-mirror next-Claude brief… #856

Sign in to view logs

docs(handoffs): EchoTypes.jl EchoAggregation-mirror next-Claude brief…

docs(handoffs): EchoTypes.jl EchoAggregation-mirror next-Claude brief… #856

Triggered via push June 27, 2026 10:38
@hyperpolymathhyperpolymath
pushed a0ae607
main
Status Success
Total duration 11m 50s
Artifacts –

agda.yml

on: push
check
2m 3s
check
cold-check
11m 47s
cold-check
Fit to window
Zoom out
Zoom in