Removed the hyphen in onchain and offchain to maintain a consistent s… #1080

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-image	44s
test	41s
halmos	45s
coverage	37s
	2m 47s