Gemmini CI

Merge pull request #377 from ucb-bar/dev #613

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
install-gemmini	12m 56s
build-gemmini-config	7m 0s
spike-run-tests	7m 21s
rtl-run-tests	1h 54m 28s
cleanup	6s
	2h 21m 51s