diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-04-06 19:47:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-06 19:47:37 +0200 |
commit | 4d76265fac7edafc2fcf29ce6873fdb252fbba0d (patch) | |
tree | 32a7a72470f72f63e0248a3f324f09fe6f8895ef /bin | |
parent | 49a18da629d74a6f8d4052c95ce8b967ea08f73d (diff) | |
parent | 8a83bb1f865bdc79cc716034199bc9d350d4f055 (diff) | |
download | dotty-4d76265fac7edafc2fcf29ce6873fdb252fbba0d.tar.gz dotty-4d76265fac7edafc2fcf29ce6873fdb252fbba0d.tar.bz2 dotty-4d76265fac7edafc2fcf29ce6873fdb252fbba0d.zip |
Merge pull request #2193 from dotty-staging/deterministic-tests
Deterministically randomises test compilation order
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions