build PR #4

Job	Run time
build-linux (ubuntu-22.04, jammy, clang-18, 12.2.Rel1)	1m 33s
build-linux (jammy, 96b_carbon)	1m 2s
build-linux (ubuntu-22.04, jammy, gcc-13, 12.2.Rel1)	4m 48s
build-macos (macos-13)	43s
build-linux (jammy, bluepill)	55s
build-macos (macos-13, gcc@11)	1m 30s
build-macos (macos-14)	20s
build-linux (jammy, ctxlink)	54s
build-macos (macos-13, gcc@12)	1m 25s
build-macos (macos-latest)	21s
build-mingw (windows-2022, mingw64)	2m 58s
build-linux (jammy, f072)	54s
build-macos (macos-13, gcc@13)	1m 10s
build-mingw (windows-2022, ucrt64)	2m 57s
build-linux (jammy, f3)	1m 3s
build-macos (macos-13, gcc@14)	1m 15s
build-mingw (windows-2022, clang64)	2m 54s
build-linux (jammy, f4discovery)	57s
build-msvc (meson, windows-2022)	1m 11s
build-macos (macos-14, gcc@11)	47s
build-linux (jammy, hydrabus)	1m 0s
build-linux (jammy, launchpad-icdi)	1m 1s
size-diff	15s
build-macos (macos-14, gcc@12)	42s
build-linux (jammy, native)	54s
build-macos (macos-14, gcc@13)	43s
build-linux (jammy, stlink)	55s
build-macos (macos-14, gcc@14)	41s
build-linux (jammy, stlinkv3)	1m 0s
build-linux (jammy, swlink)	1m 0s
	37m 48s

Provide feedback