ci checks in PRs can sometimes be overlooked and this issue could allow for PRs with failing tests to be merged in (#282). This isn't ideal, since at the moment PRs are supposed to pass all ci checks before they can be merged in.
Gotta debug why this can happen at times, and if there's a way to prevent it from happening.