diff options
author | a-kenji <aks.kenji@protonmail.com> | 2022-06-09 19:58:16 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-09 19:58:16 +0200 |
commit | a614d117376c87b9375e418c9adb9761bf4c007b (patch) | |
tree | 5fcca046652b98865868bedb8b5811a749bb076e /.github | |
parent | 663797f5e30f2ec057dbeb07c606a0c146a5ba94 (diff) |
ci(nix): retry nix build on spurious failure (#1472)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/nix.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml index cfd6a9916..f2e7dd6e9 100644 --- a/.github/workflows/nix.yml +++ b/.github/workflows/nix.yml @@ -25,4 +25,5 @@ jobs: name: zellij # If you chose API tokens for write access OR if you have a private cache authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' - - run: nix build + - run: | + nix build || nix build --substituters 'https://cache.nixos.org' --extra-substituters '' |