fix gitignore

Signed-off-by: Denis Kolegov <[email protected]>
matter-labs · Jun 24, 2024 · fd5fb04 · fd5fb04
1 parent e028d61
commit fd5fb04
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -12,3 +12,6 @@ logs/
 
 # Binaries generated in Docker
 node/tools/docker_binaries
+
+# Apalache files
+**/_apalache-out