Sygus2 #3315

Job	Run time
config	6s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)	13m 11s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)	11m 27s
build-push-image	0s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)	10m 23s
build (macos-12, 3.10.1.0, 9.2.8, true, false)	29m 35s
build (macos-12, 3.10.1.0, 9.4.8, true, false)	18m 52s
build (macos-12, 3.10.1.0, 9.6.3, true, false)	4m 45s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)	14m 43s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)	16m 39s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)	12m 31s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)	13m 18s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)	11m 30s
cabal-test	0s
Test SAW exercises	0s
heapster-tests	0s
Run integration tests with coverage reporting	0s
mr-solver-tests	0s
Test s2n proofs	0s
saw-remote-api-tests	0s
mergify	0s
	2h 37m 0s

Provide feedback