Skip to content
Agda

echo-types: earn back ledger item B (Buchholz) — K-attributed part #342

Sign in to view logs

echo-types: earn back ledger item B (Buchholz) — K-attributed part

echo-types: earn back ledger item B (Buchholz) — K-attributed part #342

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
2m 8s
2m 8s