CI

Remove click from dev dependency group. Unclear to me that my externa… #147

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Basic CI Check (ubuntu-latest)	2m 48s
Minimal Dependencies Check	2m 31s
RISCOF Check	13m 0s
RISC-V Formal Check	25m 2s
	43m 21s