CI

Simplify README.md and migrate to online/Sphinx docs. #132

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Minimal Dependencies Check	2m 28s
RISCOF Check	13m 27s
Basic CI Check (ubuntu-latest)	2m 52s
RISC-V Formal Check	32m 52s
	51m 39s