test: do not build firecracker before running kani#4786

roypat merged 1 commit intofirecracker-microvm:mainfirecracker-microvm/firecracker:mainfrom

roypat:kani-no-buildroypat/firecracker:kani-no-buildCopy head branch name to clipboard