Lock-step Solving and Timeout for IDE Solver #885

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (clang++-14, clang-14, Debug)	16m 37s
build (clang++-14, clang-14, Release)	24m 28s
	41m 5s