fix git grep
Some checks failed
Gentoo Utils / check-format (push) Successful in 8s
Gentoo Utils / test (push) Successful in 27s
Gentoo Utils / build-oci-image (push) Successful in 6s
Gentoo Utils / grep (push) Failing after 3s
Gentoo Utils / docs (push) Successful in 13s
Gentoo Utils / build (push) Successful in 20s
Gentoo Utils / fuzz (push) Failing after 42s
Some checks failed
Gentoo Utils / check-format (push) Successful in 8s
Gentoo Utils / test (push) Successful in 27s
Gentoo Utils / build-oci-image (push) Successful in 6s
Gentoo Utils / grep (push) Failing after 3s
Gentoo Utils / docs (push) Successful in 13s
Gentoo Utils / build (push) Successful in 20s
Gentoo Utils / fuzz (push) Failing after 42s
This commit is contained in:
@@ -192,4 +192,5 @@ jobs:
|
|||||||
|
|
||||||
- name: grep for patterns
|
- name: grep for patterns
|
||||||
run: |
|
run: |
|
||||||
git grep -E 'todo!|dbg!' -- '*.rs' && exit 1 || exit 0
|
set -x
|
||||||
|
git --no-pager grep -E 'todo!|dbg!' -- '*.rs'
|
||||||
|
|||||||
Reference in New Issue
Block a user