Build and run tests with Verific (Linux)

Merge pull request #4386 from YosysHQ/micko/check_abc #154

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pre_job	4s
test-verific	8m 3s
	8m 7s