From 116c4a79a212adfd9e2e430e55275773d9c2804d Mon Sep 17 00:00:00 2001
From: Jonathan Cubides <jonathan.cubides@uib.no>
Date: Tue, 13 Dec 2022 10:35:22 +0100
Subject: [PATCH] Ignore binaries generated by running some tests (#1663)

* Ignore binaries generated by running some tests

* Update .gitignore

* Make pre-commit happy

* Fix typo
---
 .gitignore | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 9eec0bcdfe..a79d2ecdc1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -67,6 +67,7 @@ docs/*.html
 /src/Juvix/Utils/OldParser.hs
 CHANGELOG.md
 UPDATES-FOR-CHANGELOG.org
+docs/org/README.org
 .juvix-build
 
 # C Code generation
@@ -83,6 +84,9 @@ docs/**/*.md
 *.cmx
 *.cmo
 .history
-docs/org/README.org
+
 # Binary files (produced by `make check`)
-examples/milestone/HelloWorld/HelloWorld
+examples/**/*
+examples/**/!*.*
+tests/**/*
+tests/**/!*.*