Gemmini CI

make mxgemmini the default + gate non-mxgemmini configs #785

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
install-gemmini	8m 39s
build-mx-config	7m 45s
mx-run-tests	1h 42m 14s
cleanup	9s
	1h 58m 47s