Agda

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

Sign in to view logs

Triggered via pull request June 27, 2026 10:36

opened #279

claude/ecstatic-wright-OBEvx

Status Success

Total duration 10m 40s

Artifacts –

agda.yml

on: pull_request