Back to pull request #8408

Solver factory: all solvers are stack_decision_proceduret #1077

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
FreeBSD	5m 48s
NetBSD	7m 0s
OpenBSD	8m 22s
	21m 10s