Build

Enable json-target-spec #788

Job	Run time
Build Example Kernel (windows-latest)	49s
Build Example Kernel (macos-latest)	29s
Test (ubuntu-latest)	1m 21s
Test (macos-latest)	1m 20s
Test (windows-latest)	2m 56s
Check Formatting	17s
Build Example Kernel (ubuntu-latest)	25s
	7m 37s

Provide feedback