Attempt to speed up builds#348

midnightveil wants to merge 5 commits into

seL4:mainseL4/rust-sel4:mainfrom

au-ts:julia/compile-time-optimisationau-ts/rust-sel4:julia/compile-time-optimisationCopy head branch name to clipboard