CI

Don't require PD config if platform isn't detected #487

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cross-Build for FreeBSD	2m 14s
Build Linux and UEFI	1m 31s
Build Windows	5m 23s
Test Suite	56s
Lints	40s
Generate docs	1m 6s
	11m 50s