From 14276fb193765dd5d35dbab1719a0912537c80a6 Mon Sep 17 00:00:00 2001
From: Angelica Moreira <48168649+angelica-moreira@users.noreply.github.com>
Date: Wed, 11 Mar 2026 22:04:15 +0000
Subject: [PATCH] ignore .z3-agent runtime directory

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index ee5df58ff..517fd3159 100644
--- a/.gitignore
+++ b/.gitignore
@@ -117,3 +117,4 @@ genaisrc/genblogpost.genai.mts
 bazel-*
 # Local issue tracking
 .beads
+.z3-agent/