From 68746e061d20761577ad023423fc6a62e0877e73 Mon Sep 17 00:00:00 2001
From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Date: Tue, 26 May 2026 00:46:56 +0100
Subject: [PATCH] chore(gitignore): add **/.zig-cache-global/ to ignore Zig
 global cache

The existing pattern `**/.zig-cache/` doesn't catch `.zig-cache-global/`,
which is what Zig uses when ZIG_GLOBAL_CACHE_DIR is set. PR #135 was
closed because a session committed ~98 cache files under this path; this
prevents recurrence.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index cf2d4cd9..6d7d2bbe 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,6 +22,7 @@ build/
 # Zig
 **/zig-out/
 **/.zig-cache/
+**/.zig-cache-global/
 
 # Coq / Rocq
 *.vo