Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This will allow the builds on non-failing platforms to finish instead of failing all if only one platform fails. For now this new behavior is preferable for us, because sometimes the tests may be flaky.
- Loading branch information