Gemmini CI

Temporary fix for gemmini's original os config #534

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
install-gemmini	11m 11s
build-gemmini-config	2m 12s
spike-run-tests	1m 25s
rtl-run-tests	0s
cleanup	6s
	14m 54s