fix git grep
Some checks failed
Gentoo Utils / build-oci-image (push) Successful in 7s
Gentoo Utils / grep (push) Failing after 3s
Gentoo Utils / check-format (push) Successful in 8s
Gentoo Utils / docs (push) Successful in 12s
Gentoo Utils / build (push) Successful in 20s
Gentoo Utils / test (push) Successful in 27s
Gentoo Utils / fuzz (push) Failing after 44s
Some checks failed
Gentoo Utils / build-oci-image (push) Successful in 7s
Gentoo Utils / grep (push) Failing after 3s
Gentoo Utils / check-format (push) Successful in 8s
Gentoo Utils / docs (push) Successful in 12s
Gentoo Utils / build (push) Successful in 20s
Gentoo Utils / test (push) Successful in 27s
Gentoo Utils / fuzz (push) Failing after 44s
This commit is contained in:
@@ -191,5 +191,12 @@ jobs:
|
||||
uses: actions/checkout@v5
|
||||
|
||||
- name: grep for patterns
|
||||
# negate git grep ret code because 1 means no findings
|
||||
run: |
|
||||
git grep -E 'todo!|dbg!' -- '*.rs' && exit 1 || exit 0
|
||||
echo "if git --no-pager grep -E 'todo!|dbg!' -- '*.rs'..."
|
||||
if git --no-pager grep -E 'todo!|dbg!' -- '*.rs'; then
|
||||
exit 0
|
||||
else
|
||||
exit 1
|
||||
fi
|
||||
|
||||
|
||||
Reference in New Issue
Block a user