CI

Added Makefile targets to run specific checks #1454

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
download_caravel	1s
download_deps	0s
RTL-verification	0s
hardening	0s
precheck	0s
STA	0s
	1s