X-Git-Url: https://www.tinc-vpn.org/git/browse?a=blobdiff_plain;f=.github%2Fworkflows%2Fsanitizers%2Frun.sh;h=c2d9dad82fa8bab3e438a87881c58923a1625b67;hb=26f844b6faa63c8027bbe657e2359f33b9a4c88b;hp=de12a2ba77d6e9b466f11e8614bb60273b2b6601;hpb=7ab400aebdc38e7ee5dafc0a2291bbbea25e3f7c;p=tinc diff --git a/.github/workflows/sanitizers/run.sh b/.github/workflows/sanitizers/run.sh index de12a2ba..c2d9dad8 100755 --- a/.github/workflows/sanitizers/run.sh +++ b/.github/workflows/sanitizers/run.sh @@ -26,3 +26,12 @@ esac sudo --preserve-env=ASAN_OPTIONS,TSAN_OPTIONS,UBSAN_OPTIONS \ make check VERBOSE=1 + +# Check that the sanitizer has not created any log files. +# If it has, fail the job to notify the developer. +log_count=$(find "$logs" -type f -printf . | wc -c) + +if [ "$log_count" != 0 ]; then + echo "expected zero sanitizer logs, found $log_count" + exit 1 +fi