Skip to content
Ubuntu build

Implement ≤-total in terms of _≤?_ #4055

Sign in to view logs

Implement ≤-total in terms of _≤?_

Implement ≤-total in terms of _≤?_ #4055

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-stdlib
38m 35s
38m 35s