Build and run tests with Verific (Linux)

verific: Add bottom and top bound properties to wire #687

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pre_job	4s
test-verific	11m 54s
	11m 58s