From f4fe61a1af2a13ff5b47d46e0799950ac4081180 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 22 Sep 2024 12:31:10 -0700
Subject: [PATCH] Nix CI: re-add nix_path but with proper name of stable
 channel.

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0ee2c489a..b7e80a0a3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -146,6 +146,8 @@ jobs:
     steps:
     - uses: actions/checkout@v4
     - uses: cachix/install-nix-action@V28
+      with:
+        nix_path: nixpkgs=channel:nixos-24.05
     - name: Cache cabal global package db
       id:   cabal-global
       uses: actions/cache@v4