Skip to content
Agda

ordinal(buchholz): fix Slice 2-bplus — explicit implicit on ≤′-refl (… #553

Sign in to view logs

ordinal(buchholz): fix Slice 2-bplus — explicit implicit on ≤′-refl (…

ordinal(buchholz): fix Slice 2-bplus — explicit implicit on ≤′-refl (… #553

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
2h 16m 20s
cold-check
2h 16m 20s
4h 32m 40s