SAWScript #116

Job	Run time
config	4s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)	28m 23s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)	17m 37s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...	32m 16s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)	34m 43s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)	34m 22s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)	35m 57s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)	32m 58s
build (windows-2019, 9.2.8, true, false)	20m 3s
build (macos-12, 9.2.8, true, false)	28m 6s
build (macos-14, 9.2.8, true, false)	15m 15s
Test SAW exercises	0s
cabal-test	0s
Run integration tests with coverage reporting	0s
heapster-tests	0s
mr-solver-tests	0s
Test s2n proofs	0s
saw-remote-api-tests	0s
mergify	0s
	4h 39m 44s

Provide feedback