Ignore ICE dumps

oli-obk · oli-obk · commit aad707d39c49 · 2023-09-11T12:28:28.000Z
diff --git a/.gitignore b/.gitignore
@@ -52,6 +52,8 @@ build/
 /src/tools/x/target
 # Created by default with `src/ci/docker/run.sh`
 /obj/
+# Created on ICE during build
+rustc-ice-*.txt
 
 ## Temporary files
 *~
