From 02fb9cdeb1e3000f0b53872a0137122675995811 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Sun, 23 Aug 2026 14:10:03 +0100
Subject: [PATCH] chore(nix->guix): delete Nix estate-wide (#138)

---
 .envrc                               | 1 -
 .github/workflows/governance.yml     | 2 +-
 .github/workflows/hypatia-scan.yml   | 2 +-
 .github/workflows/proof-gate.yml     | 1 -
 .github/workflows/secret-scanner.yml | 2 +-
 5 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/.envrc b/.envrc
index 0b5b702..ef739ef 100644
--- a/.envrc
+++ b/.envrc
@@ -14,7 +14,6 @@ fi
 
 # Load Nix flake if flake.nix exists
 if has nix && [ -f flake.nix ]; then
-  use flake
 fi
 
 # Project environment variables
diff --git a/.github/workflows/governance.yml b/.github/workflows/governance.yml
index e344b40..d6aa766 100644
--- a/.github/workflows/governance.yml
+++ b/.github/workflows/governance.yml
@@ -31,4 +31,4 @@ permissions:
 
 jobs:
   governance:
-    uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
\ No newline at end of file
+    uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
diff --git a/.github/workflows/hypatia-scan.yml b/.github/workflows/hypatia-scan.yml
index 92f38eb..fc2b618 100644
--- a/.github/workflows/hypatia-scan.yml
+++ b/.github/workflows/hypatia-scan.yml
@@ -26,4 +26,4 @@ permissions:
 jobs:
   hypatia:
     uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
-    secrets: inherit
\ No newline at end of file
+    secrets: inherit
diff --git a/.github/workflows/proof-gate.yml b/.github/workflows/proof-gate.yml
index 2131d6d..d1d8d67 100644
--- a/.github/workflows/proof-gate.yml
+++ b/.github/workflows/proof-gate.yml
@@ -28,7 +28,6 @@ jobs:
     steps:
       - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
 
-      - uses: cachix/install-nix-action@a49548c11d9846ad46ecc0115273879b045f001c # v31.10.7
 
       - name: Run proof gate
         run: nix shell nixpkgs#idris2 -c ./scripts/check-idris2-proofs.sh
diff --git a/.github/workflows/secret-scanner.yml b/.github/workflows/secret-scanner.yml
index 8e429c5..b4a24ed 100644
--- a/.github/workflows/secret-scanner.yml
+++ b/.github/workflows/secret-scanner.yml
@@ -23,4 +23,4 @@ jobs:
       pull-requests: write
       actions: read
     uses: hyperpolymath/standards/.github/workflows/secret-scanner-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
-    secrets: inherit
\ No newline at end of file
+    secrets: inherit