Back to pull request #874

Merge pull request #873 from jmtcsngr/devel #120

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (5.26.3, 14.8.0)	8m 36s
build (5.34.1, 14.8.0)	8m 26s
	17m 2s