ci: add a script for running the CI locally#498

midnightveil wants to merge 1 commit into

seL4:mainseL4/microkit:mainfrom

au-ts:julia/ci-local-run-scriptau-ts/microkit:julia/ci-local-run-scriptCopy head branch name to clipboard