The "main" branch occasionally got broken. It isn't nice to break our (nuttx's) CI every time it happens.