Back to pull request #888

Merge pull request #887 from jmtcsngr/devel #172

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 35s
build (5.34.1, 14.8.0)	8m 53s
	17m 28s