Test infrastructure and results for leanprover/skills - View it on GitHub