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

Job	Run time
config	5s
build (ubuntu-22.04, 3.10.3.0, 9.4.8, true, false)	3m 52s
build (ubuntu-22.04, 3.10.3.0, 9.6.6, true, false)	3m 50s
build-push-image	0s
build (ubuntu-22.04, 3.10.3.0, 9.8.2, true, false)	3m 52s
build (ubuntu-20.04, 9.4.8, 3.10.3.0, false, false)	3m 49s
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true, true)	3m 42s
build (windows-2019, 9.4.8, true, false)	3m 24s
build (macos-13, 9.4.8, true, false)	3m 22s
build (macos-14, 9.4.8, true, false)	3m 23s
heapster-tests	1s
saw-remote-api-tests	1s
cabal-test	1s
Run integration tests with coverage reporting	1s
Test SAW exercises	1s
mr-solver-tests	1s
Test s2n proofs	1s
mergify	1s
	29m 27s

Provide feedback