build as C++ for S2E

Update sksat/setup-rye action to v0.24.0 #1638

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_s2e_mockup (mobc)	1m 29s
build_s2e_mockup (subobc)	38s
	2m 7s