GitHub CI: fail sanitizer job if any logs were created.
[tinc] / .github / workflows / sanitizers / run.sh
2021-07-25 Kirill IsakovGitHub CI: fail sanitizer job if any logs were created.
2021-07-20 Kirill IsakovSome cleanups in GitHub Actions CI