Updated for 0.12 #747

Job	Run time
lint	25s
build-zware-gen (ubuntu-latest)	17s
build_interface (ubuntu-latest)	20s
build-zware-gen (macos-latest)	1m 38s
fib (ubuntu-latest)	18s
build-zware-gen (windows-latest)	1m 17s
build_interface (macos-latest)	1m 27s
fib (macos-latest)	1m 45s
build_interface (windows-latest)	1m 26s
fib (windows-latest)	1m 33s
parsecheck	19s
source-code-tests (ubuntu-latest)	19s
testsuite (ubuntu-latest)	21s
source-code-tests (macos-latest)	1m 32s
testsuite (macos-latest)	1m 42s
source-code-tests (windows-latest)	58s
testsuite (windows-latest)	52s
	16m 29s

Provide feedback