mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-11 13:36:08 +03:00
add benchmark suite
This commit is contained in:
parent
3621c5d1bd
commit
0ce0f5a8e7
3
.gitignore
vendored
3
.gitignore
vendored
@ -27,6 +27,9 @@ idris2docs_venv
|
|||||||
/tests/**/*.dll
|
/tests/**/*.dll
|
||||||
/tests/build/exec
|
/tests/build/exec
|
||||||
|
|
||||||
|
/benchmark/**/build
|
||||||
|
/benchmark/*.csv
|
||||||
|
|
||||||
/src/IdrisPaths.idr
|
/src/IdrisPaths.idr
|
||||||
|
|
||||||
/bootstrap/bin/
|
/bootstrap/bin/
|
||||||
|
Loading…
Reference in New Issue
Block a user