ardupilot/.github
David 'Buzz' Bussenschutt 6d4747a38c Tools: fix esp32 CI build
install gevent as a package first seems to allow it to avoid issues.
also 3.11 is reqd, and 3.10 usn't good enough.
2024-01-07 08:09:21 +11:00
..
ISSUE_TEMPLATE .github: update template engine, fix issue template random linking to PR 2020-02-18 10:09:14 +11:00
workflows Tools: fix esp32 CI build 2024-01-07 08:09:21 +11:00
CONTRIBUTING.md git: add discord details to contributing page 2020-07-02 09:50:17 +09:00
SUPPORT.md github: add support file 2019-02-27 07:03:22 +11:00