build

Merge pull request #281 from GaloisInc/dgb_1738563983-0 #289

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build - 9.4.5 - ubuntu-22.04	13m 9s
build - 9.6.2 - ubuntu-22.04	13m 28s
build - 9.8.1 - ubuntu-22.04	13m 23s
	40m 0s