GitHub CI: fail sanitizer job if any logs were created.
[tinc] / .github / workflows / sanitizers / ignore.txt
1 src:ed25519/*
2 src:chacha-poly1305/*