copilot-bluespec

Fix `signum` translation. Refs #14. #22

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-22.04, 8.10.7, 3.10.2.0)	7m 0s
build (ubuntu-22.04, 9.2.8, 3.10.2.0)	7m 9s
build (ubuntu-22.04, 9.4.8, 3.10.2.0)	8m 9s
	22m 18s