Gemmini CI

Merge pull request #378 from ucb-bar/rm-scripts #615

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
install-gemmini	14m 8s
build-gemmini-config	5m 59s
spike-run-tests	7m 21s
rtl-run-tests	1h 54m 35s
cleanup	7s
	2h 22m 10s