Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This seems the most straightforward way to cut down our build time. It's also a work-around for flaky tests (see #485). Signed-off-by: Pierre-Alexandre Meyer <pierre@mouraf.org>
- Loading branch information