Allow customizing platform if not matched #90

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lints	1m 32s
Build Linux and UEFI	2m 34s
Build Windows	4m 25s
Generate docs	1m 48s
Test Suite	1m 42s
	12m 1s