Skip to content
Agda

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

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 #760

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 46s
cold-check
12m 18s
14m 4s