Skip to content
Agda

feat(aggregation): general EchoAggregation monoid/group form (#175) + long-form prose relicense #784

Sign in to view logs

feat(aggregation): general EchoAggregation monoid/group form (#175) + long-form prose relicense

feat(aggregation): general EchoAggregation monoid/group form (#175) + long-form prose relicense #784

Triggered via pull request June 18, 2026 17:07
@hyperpolymathhyperpolymath
synchronize #239
claude/ecstatic-wright-OBEvx
Status Success
Total duration 14m 33s
Artifacts –

agda.yml

on: pull_request
check
6m 19s
check
cold-check
14m 12s
cold-check
Fit to window
Zoom out
Zoom in