Skip to content
Check whitespace

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

Sign in to view logs

Implement ≤-total in terms of _≤?_

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-whitespace
4s
4s