CI

Merge pull request #3 from IAmMarcelJung/fix/update_pins #11

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
STA	0s
precheck	0s
	1s