| commit | 0800125f80219d38406ea3eb0a3fe5d27df75bb3 | |
| author | mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |
| Fri, 26 Jan 2024 23:28:52 +0000 (26 23:28 +0000) | ||
| committer | GitHub <noreply@github.com> | |
| Fri, 26 Jan 2024 23:28:52 +0000 (26 23:28 +0000) | ||
| tree | 78cfe027e5bfaf9c571ea4fd9f0672b8141f3ff2 | treesnapshot (tar.gz zip) |
| parent | b99a830c58447b6251ffc7c95c31c54566b54667 | commitdiff |
| parent | c0dcbde1c2426d42dafb4ab9bb057a451c8519a4 | commitdiff |
Merge pull request #9625 from grayjay/issue-9495
Add solver Hackage benchmarks to GitHub Actions (fixes #9495)
Add solver Hackage benchmarks to GitHub Actions (fixes #9495)