CI

Fix various typos/outdated info found while writing docstrings. #153

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
RISC-V Formal Check	28m 44s
Minimal Dependencies Check	2m 18s
RISCOF Check	15m 19s
Basic CI Check (ubuntu-latest)	3m 6s
	49m 27s