aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.github/workflows/nix.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
index 36ce378..143dd86 100644
--- a/.github/workflows/nix.yml
+++ b/.github/workflows/nix.yml
@@ -40,3 +40,4 @@ jobs:
PATREON_CLIENT_ID: ${{ secrets.PATREON_CLIENT_ID }}
PATREON_CLIENT_SECRET: ${{ secrets.PATREON_CLIENT_SECRET }}
PATREON_REFRESH_TOKEN: ${{ secrets.PATREON_REFRESH_TOKEN }}
+ DHALL_PRELUDE: https://raw.githubusercontent.com/dhall-lang/dhall-lang/v17.0.0/Prelude/package.dhall