mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-10-15 14:53:32 +08:00
In the end the build time is always almost the same, but it's a pain to change one header and have it check the world. CI continues to use the check so we can get any mistake before merging.