GitHub CI: fail sanitizer job if any logs were created.
[tinc] / .github / workflows / sanitizers /
drwxr-xr-x   ..
-rwxr-xr-x 528 build.sh
-rw-r--r-- 36 ignore.txt
-rwxr-xr-x 852 run.sh