diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-07-03 13:17:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-03 13:17:10 +0200 |
| commit | dfaad374ffa67d289e5eade1cadd9b24c9800ff1 (patch) | |
| tree | a6a963515fb27cf2f5c04d05bd1ddb2a8b18bcd5 /mk/jars.mk | |
| parent | 017efae01f81fabf23eba24407280171f8004448 (diff) | |
| parent | 223fbe644a4cde45269c01e971331d9414971d46 (diff) | |
Merge pull request #3778 from tweag/parallel-tests
Parallel tests fixes
Diffstat (limited to 'mk/jars.mk')
0 files changed, 0 insertions, 0 deletions