Scripts to update the leaderboard are in the update directory. To update the index, just move new result CSV files into the
benchmark_results directory, and run update/makecsv.sh.
alhuan/alhuan.github.io
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|