diff options
| author | jvoisin | 2018-09-25 17:09:04 +0200 |
|---|---|---|
| committer | jvoisin | 2018-09-25 17:09:04 +0200 |
| commit | 7f629ed2e30614cd8a8bb5537cd79cb62bb0c561 (patch) | |
| tree | 69185651573468b1e2f060bbbbe557fed74bf4b4 /README.md | |
| parent | 719cdf20fa8c9921b81eaf6bf3df0d50c790de82 (diff) | |
Run the testsuite exclusively on Whitewhale for now
This should fix the intermittent failures, thanks
to @pollo for the tip
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions
