1 files changed, 2 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 82d9aa7..4fbd9bc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,5 @@ result
 *.pdf
 tests/runtests.log
 tests/out
+.stack-work
+*.lock