Skip to content
Agda

theory: Axis 8 sweep — join + composition trio (Rungs A + B; Rung C deferred) #429

Sign in to view logs

theory: Axis 8 sweep — join + composition trio (Rungs A + B; Rung C deferred)

theory: Axis 8 sweep — join + composition trio (Rungs A + B; Rung C deferred) #429

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
2m 24s
flake-check
42s
check
3s
3m 9s