Back to pull request #9282

Removing `chooseSolver` and inline `Modular` solver as default choice #7031

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Meta checks	6m 18s
Doctest Cabal	5m 29s
	11m 47s