ci: use microkit-manifest for PR SDK builds#546

midnightveil merged 1 commit into

seL4:mainseL4/microkit:mainfrom

au-ts:julia/pr-sdk-build-use-manifestau-ts/microkit:julia/pr-sdk-build-use-manifestCopy head branch name to clipboard