according to https://github.com/apache/nuttx/pull/7903 it was to fix "the macOS runners occasionally failing". cython issue workaround seems more important because it always fails.
CI Tools
These are tools and data used for the CI system. Some of what is here may also be useful for local testing.