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