fix git grep
Some checks failed
Gentoo Utils / build-oci-image (push) Successful in 8s
Gentoo Utils / grep (push) Failing after 4s
Gentoo Utils / check-format (push) Successful in 9s
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 42s
Some checks failed
Gentoo Utils / build-oci-image (push) Successful in 8s
Gentoo Utils / grep (push) Failing after 4s
Gentoo Utils / check-format (push) Successful in 9s
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 42s
This commit is contained in:
@@ -4,7 +4,7 @@ on: [push]
|
|||||||
|
|
||||||
defaults:
|
defaults:
|
||||||
run:
|
run:
|
||||||
shell: bash -le -o pipefail {0}
|
shell: bash -el {0}
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
build-oci-image:
|
build-oci-image:
|
||||||
@@ -191,5 +191,7 @@ jobs:
|
|||||||
uses: actions/checkout@v5
|
uses: actions/checkout@v5
|
||||||
|
|
||||||
- name: grep for patterns
|
- name: grep for patterns
|
||||||
|
# negate git grep ret code because 1 means no findings
|
||||||
run: |
|
run: |
|
||||||
git grep -E 'todo!|dbg!' -- '*.rs' && exit 1 || exit 0
|
git grep -E 'todo!|dbg!' -- '*.rs' && exit 1 || exit 0
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user