CI

Fix subtle bug where PC gets garbage on non-POR reset. #145

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
RISC-V Formal Check	32m 20s
Minimal Dependencies Check	2m 32s
Basic CI Check (ubuntu-latest)	2m 41s
RISCOF Check	13m 9s
	50m 42s