sozud 46c3df45ad
Check formatting before building (#533)
This adds a little script to check if the repo is dirty after running
`make format`. This would also catch errors if the format fails. If we
agree with the idea I will commit to master to get this running.
2023-08-31 15:21:33 -07:00
..
2023-05-12 21:48:10 +01:00