QEMU Test Bot for Pull Requests: Beware of Semihosting Breakout (Apache NuttX)