CI

Add VexRiscv's OpenOCD to Nix environment #133

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Programs	3m 29s
Rust checks	3m 28s
license-check	14s
VexRiscv integration	3m 36s
	10m 47s