leaderboard

leaderboard について

マージされたベンチマーク提出から nurb モデルリーダーボードを公開する。前回の再生成以降に取り込まれたすべての実行を健全性チェックし、編集評を執筆または更新し、benchmarks リポジトリの REPORT.md とこのリポジトリの site/benchmarks.html を再生成し、公開 PR を開く。ユーザーが "update the leaderboard"、"publish the benchmarks"、"regenerate the benchmark page" と言ったとき、または提出 PR をマージした後に使用。