Build

Enable json-target-spec #787

Job	Run time
Check Formatting	16s
Build Example Kernel (macos-latest)	27s
Build Example Kernel (windows-latest)	51s
Test (ubuntu-latest)	1m 20s
Test (windows-latest)	2m 49s
Test (macos-latest)	1m 25s
Build Example Kernel (ubuntu-latest)	31s
	7m 39s

Provide feedback