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 /src/nix/main.cc | |
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 'src/nix/main.cc')
0 files changed, 0 insertions, 0 deletions