Back to pull request #628

fix(test-harness): `hax-engine-names-extract` needs hax in PATH #1654

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker	0s
setup_sh	0s
setup_sh_status	0s
	0s