CI

WIP: use board ID host command if available #825

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-freebsd	3m 6s
Build Linux	2m 1s
Build Windows	4m 36s
Build UEFI	1m 14s
Lints	25s
Test Suite	59s
Generate docs	1m 14s
	13m 35s