Submission pipeline and results store for the lean-eval benchmark (https://github.com/leanprover/lean-eval) - View it on GitHub