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