diff --git a/.gitignore b/.gitignore index 3f0afd9a6..3b853513b 100644 --- a/.gitignore +++ b/.gitignore @@ -27,6 +27,9 @@ idris2docs_venv /tests/**/*.dll /tests/build/exec +/benchmark/**/build +/benchmark/*.csv + /src/IdrisPaths.idr /bootstrap/bin/