Re: NuttX github action pull request check build CI enabled

[Gregory Nutt]

I had been confused earlier and thought that we were talking about the
buildroot repo.
The NuttX buildroot only shares the name with the "real" buildroot 
because it leveraged from it.  It is a completely incompatible, 
unrelated thing now (but still have the roots and the name).