search

agda / agda-stdlib

The Agda standard library
https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
Other
575 stars 237 forks source link

Github action to check for whitespace violations #2328

Closed andreasabel closed 6 months ago

andreasabel commented 6 months ago

Run fix-whitespace --check on PRs and pushes. Triggers (on) copied from main CI. This is a very cheap workflow, should finish in seconds.

It currently finds some violations, but these will be fixed by: