yosys-verific CI

EDA 1827 Fix: CI for daily test is updated #583

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos-gcc	0s
test	2h 29m 6s
install	42m 26s
centos7-gcc	1h 8m 31s
macos-clang	0s
	4h 20m 3s