diff --git a/.github/workflows/check-rust.yml b/.github/workflows/check-rust.yml index 996fd945..1d2f686c 100644 --- a/.github/workflows/check-rust.yml +++ b/.github/workflows/check-rust.yml @@ -169,6 +169,7 @@ jobs: if grep -q "^warning:" clean_output.log; then echo "Build emitted the following warnings:" >&2 echo `grep "^warning:" clean_output.log` + exit "Some custom lints failed, see above for details." else echo "No warnings found." fi