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

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

Provide feedback