diff options
author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2023-05-26 17:06:02 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-26 17:06:02 +0200 |
commit | 940e9eb8dd6deacb2e41aca91d65bd0e616011d6 (patch) | |
tree | 3910b99966387323f21b464f77f25b2010e915a7 /tests/export.sh | |
parent | f41dd2c306a5986340b04c1635bd674e4a01b78d (diff) | |
parent | 2c462486fe0c1bcb5b1142507d2875e98b2418df (diff) |
Merge pull request #8240 from tweag/macos-sandbox
ci: Always run with sandbox, even on Darwin
Diffstat (limited to 'tests/export.sh')
0 files changed, 0 insertions, 0 deletions