Closed theotherphil closed 3 months ago
Still pretty slow, but the last two PRs have reduced Miri run time from 21m 30s to a less painful 5m 40s.
Still pretty slow, but the last two PRs have reduced Miri run time from 21m 30s to a less painful 5m 40s.