diff --git a/.gitignore b/.gitignore
index efd2102..8ff6de0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,5 +13,5 @@
 .direnv/
 result
 
-.pi/
+.pi*/
 .sisyphus/