From 4e7cb7628187c4e594c0234834f60a07737ea71b Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Mon, 9 Aug 2021 12:15:03 +0200
Subject: [PATCH] chore: Nix: adjust local cache config

---
 .github/workflows/nix-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/nix-ci.yml b/.github/workflows/nix-ci.yml
index 84bee95902..5758d2a7bf 100644
--- a/.github/workflows/nix-ci.yml
+++ b/.github/workflows/nix-ci.yml
@@ -57,7 +57,7 @@ jobs:
           echo '
             max-jobs = auto
             extra-sandbox-paths = /nix/var/cache/ccache
-            substituters = file://${{ github.workspace }}/nix-store-cache https://cache.nixos.org/
+            extra-substituters = file://${{ github.workspace }}/nix-store-cache?priority=10&trusted=true
             extra-trusted-substituters = https://lean4.cachix.org/
             extra-trusted-public-keys = lean4.cachix.org-1:mawtxSxcaiWE24xCXXgh3qnvlTkyU7evRRnGeAhD4Wk=' > ~/.config/nix/nix.conf
           sudo mkdir -m0770 -p /nix/var/cache/ccache