Skip to content
Agda

feat(aggregation): aggregation as Echo, non-disaggregability as no-section #759

Sign in to view logs

feat(aggregation): aggregation as Echo, non-disaggregability as no-section

feat(aggregation): aggregation as Echo, non-disaggregability as no-section #759

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
4s
cold-check
2m 33s
2m 37s