build as C++ for S2E

`CCP_form_and_exec_*` の再帰実行時のメモリエラーバグの修正 #1394

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_s2e_mockup (mobc)	1m 1s
build_s2e_mockup (subobc)	1m 0s
	2m 1s