GitHub CI: fail sanitizer job if any logs were created.