chore: add Zig build artifacts to .gitignore

Jonathan D.A. Jewell · claude · Jonathan D.A. Jewell · commit 60d5c5a381dd · 2026-02-07T18:25:08.000Z
Co-Authored-By: Claude Sonnet 4.5 &lt;noreply@anthropic.com&gt;
diff --git a/.gitignore b/.gitignore
@@ -11,6 +11,10 @@ build/
 *.ttm
 *.ibc
 
+# Zig
+.zig-cache-global/
+*.a
+
 # Coq
 *.vo
 *.vok

-Original file line number
+Diff line change
 *.ttm
 *.ibc
 +# Zig
 +.zig-cache-global/
 +*.a
++
 # Coq
 *.vo
 *.vok