Merge remote-tracking branch 'origin/dev' into chisel6 #512

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
install-gemmini	11m 21s
build-gemmini-config	5m 41s
spike-run-tests	6m 59s
rtl-run-tests	1h 51m 32s
cleanup	7s
	2h 15m 40s