Fix up the aws-lc-verification and blst-verification CI runs #4050

Job	Run time
config	5s
config	5s
build (ubuntu-22.04, 3.10.3.0, 9.4.8, true, false)	8m 56s
build (ubuntu-22.04, 3.10.3.0, 9.4.8, true, false)	8m 56s
build (ubuntu-22.04, 3.10.3.0, 9.6.6, true, false)	5m 15s
build (ubuntu-22.04, 3.10.3.0, 9.6.6, true, false)	5m 15s
build (ubuntu-22.04, 3.10.3.0, 9.8.2, true, false)	4m 24s
build (ubuntu-22.04, 3.10.3.0, 9.8.2, true, false)	3m 44s
build (ubuntu-20.04, 9.4.8, 3.10.3.0, false, false)	4m 40s
build (ubuntu-20.04, 9.4.8, 3.10.3.0, false, false)	4m 40s
build-push-image	0s
build-push-image	0s
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true, true)	6m 28s
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true, true)	6m 28s
build (windows-2019, 9.4.8, true, false)	7m 20s
build (windows-2019, 9.4.8, true, false)	7m 20s
build (macos-13, 9.4.8, true, false)	11m 10s
build (macos-13, 9.4.8, true, false)	11m 10s
build (macos-14, 9.4.8, true, false)	38m 15s
build (macos-14, 9.4.8, true, false)	38m 15s
Test SAW exercises	0s
Test SAW exercises	0s
cabal-test	0s
cabal-test	0s
Run integration tests with coverage reporting	0s
Run integration tests with coverage reporting	0s
heapster-tests	0s
heapster-tests	0s
mr-solver-tests	0s
mr-solver-tests	0s
Test s2n proofs	0s
Test s2n proofs	0s
saw-remote-api-tests	0s
saw-remote-api-tests	0s
mergify	0s
mergify	0s
	2h 52m 26s

Provide feedback