diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-12-09 20:38:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-09 20:38:06 +0100 |
| commit | 29fbc3cf31cb318931893b2113b6e394137ec153 (patch) | |
| tree | c5fc39c705a2bfcde38324077de2541b538470d9 /config | |
| parent | 253571e4ecc990c7f63ed8d70dbee9e4cec8002c (diff) | |
| parent | 5286310e593b2ac13abbbac90c5b458c4be2ad37 (diff) | |
Merge pull request #4343 from tweag/fix-osx-ci
Use no substituers by default in the tests
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions