ci: update tools and fix git ownership

Signed-off-by: Ramon Roche <mrpollo@gmail.com>
This commit is contained in:
Ramon Roche 2025-06-23 16:49:54 -07:00
parent f1a8606e74
commit ce85cffbee
No known key found for this signature in database
GPG Key ID: 2363370546E5EF8C

View File

@ -11,8 +11,13 @@ jobs:
container:
image: px4io/px4-dev:v1.16.0-rc1-258-g0369abd556
steps:
- name: Check out repository
uses: actions/checkout@v3
- uses: actions/checkout@v4
with:
fetch-depth: 0
submodules: recursive
- name: Git ownership workaround
run: git config --system --add safe.directory '*'
- name: Install PX4 dependencies
run: |