aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorThéophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com>2023-05-26 17:06:02 +0200
committerGitHub <noreply@github.com>2023-05-26 17:06:02 +0200
commit940e9eb8dd6deacb2e41aca91d65bd0e616011d6 (patch)
tree3910b99966387323f21b464f77f25b2010e915a7 /.github
parentf41dd2c306a5986340b04c1635bd674e4a01b78d (diff)
parent2c462486fe0c1bcb5b1142507d2875e98b2418df (diff)
Merge pull request #8240 from tweag/macos-sandbox
ci: Always run with sandbox, even on Darwin
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml3
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c06c77043..61e7f4560 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -20,6 +20,9 @@ jobs:
with:
fetch-depth: 0
- uses: cachix/install-nix-action@v20
+ with:
+ # The sandbox would otherwise be disabled by default on Darwin
+ extra_nix_config: "sandbox = true"
- run: echo CACHIX_NAME="$(echo $GITHUB_REPOSITORY-install-tests | tr "[A-Z]/" "[a-z]-")" >> $GITHUB_ENV
- uses: cachix/cachix-action@v12
if: needs.check_secrets.outputs.cachix == 'true'