GitHub CI: fail sanitizer job if any logs were created.
authorKirill Isakov <is-kir@ya.ru>
Sun, 25 Jul 2021 14:55:00 +0000 (20:55 +0600)
committerKirill Isakov <is-kir@ya.ru>
Sun, 25 Jul 2021 15:04:43 +0000 (21:04 +0600)
commit26f844b6faa63c8027bbe657e2359f33b9a4c88b
tree603c54c58e43395d33450ed1e872b1c7ba5f82cd
parent7ab400aebdc38e7ee5dafc0a2291bbbea25e3f7c
GitHub CI: fail sanitizer job if any logs were created.
.github/workflows/sanitizers/run.sh