grep for todo! and dbg! in check_commands and in CI #12

Merged
jturnerusa merged 6 commits from feature/add-grep-for-dbg-and-todo-to-ci into master 2025-12-13 22:39:17 -06:00
2 changed files with 6 additions and 2 deletions
Showing only changes of commit 5235e7d5a5 - Show all commits

View File

@@ -165,5 +165,9 @@ jobs:
- name: grep for patterns
run: |
egrep 'todo!|dbg!' -qvr src
if git grep -e 'dbg!' -- '*.rs'; then
false
else
true
fi

View File

@@ -3,4 +3,4 @@ ninja rustfmt -C build
ninja rustdoc -C build
ninja clippy -C build
ninja test -C build
egrep 'todo!|dbg!' -qvr src
if git grep -e 'dbg!' -- '*.rs'; then false; else true; fi