Closed antoncoding closed 1 year ago
Thanks for adding the CI check and the formatting check. I added some feedback.
I noticed some duplicated logic in the
check_terms/src/main.rs
. Can we move them tosrc/main.rs
?
Totally reasonable. I wasn't paying attention to the root crate.
Just added a --check
flag into main.rs
, and now we can just run cargo run -- --check
on the root directory instead of switching between modules
Summary
--check
flag that can be used for CI to check if all terms are sortedRun check and panic if not sorted: