CI

Doc tests require entire doc group. Gate behind tagged build for now … #144

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Minimal Dependencies Check	2m 34s
Basic CI Check (ubuntu-latest)	2m 56s
RISCOF Check	13m 13s
RISC-V Formal Check	31m 37s
	50m 20s