yosys-verific CI

Fix EDA-3310/Submodule update #1080

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
centos7-gcc	48m 34s
test	1h 16m 33s
macos-gcc	0s
macos-clang	0s
install	37m 48s
designEdit	25m 27s
	3h 8m 22s