Gemmini CI

Merge remote-tracking branch 'origin/master' into ext-spad #617

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
install-gemmini	4s
build-gemmini-config	0s
spike-run-tests	0s
rtl-run-tests	0s
cleanup	3s
	7s