mirror of
https://github.com/apache/nuttx.git
synced 2026-05-15 21:19:09 +08:00
375a64fed6
The "main" branch occasionally got broken. It isn't nice to break our (nuttx's) CI every time it happens.