chore: re-add files to gitignore
Browse files- .gitignore +3 -0
.gitignore
CHANGED
|
@@ -69,3 +69,6 @@ fix_subprocess.py
|
|
| 69 |
test_tb.v
|
| 70 |
benchmark_verieval.py
|
| 71 |
scripts/remote_setup.sh
|
|
|
|
|
|
|
|
|
|
|
|
| 69 |
test_tb.v
|
| 70 |
benchmark_verieval.py
|
| 71 |
scripts/remote_setup.sh
|
| 72 |
+
*.jsonl
|
| 73 |
+
leaderboard.md
|
| 74 |
+
verieval_results.json
|