fly316/PX4-Autopilot
7
0
Fork 0
mirror of https://gitee.com/mirrors_PX4/PX4-Autopilot.git synced 2026-04-14 10:07:39 +08:00
Code Issues Packages Projects Releases Wiki Activity

ci: docs metadata check for uorb message updates

Browse Source 
Signed-off-by: Ramon Roche <mrpollo@gmail.com>
This commit is contained in:
Ramon Roche 2025-05-06 09:42:13 -07:00
parent 239a7bc4f1
commit 1a46de3a25
1 changed files with 24 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
.github/workflows/docs_metadata_check.yml vendored
View File

@ -13,13 +13,15 @@ on:
jobs:
uorb-graph-check:
name: Check uORB graph JSONs
runs-on: [runs-on,runner=4cpu-linux-x64,image=ubuntu22-full-x64,"run-id=${{ github.run_id }}",spot=true]
runs-on: [runs-on,runner=2cpu-linux-x64,image=ubuntu24-full-x64,"run-id=${{ github.run_id }}",spot=true]
container:
image: ghcr.io/px4/px4-dev:v1.16.0-rc1
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
persist-credentials: true
- name: Mark all directories safe for Git
run: git config --system --add safe.directory '*'
@ -29,16 +31,36 @@ jobs:
failsafe-web-check:
name: Check failsafe web metadata files
runs-on: [runs-on,runner=4cpu-linux-x64,image=ubuntu22-full-x64,"run-id=${{ github.run_id }}",spot=true]
runs-on: [runs-on,runner=2cpu-linux-x64,image=ubuntu24-full-x64,"run-id=${{ github.run_id }}",spot=true]
container:
image: ghcr.io/px4/px4-dev:v1.16.0-rc1
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
persist-credentials: true
- name: Mark all directories safe for Git
run: git config --system --add safe.directory '*'
- name: Run failsafe web metadata check
run: Tools/ci/metadata_failsafe_web.sh --test-only
msg-docs-check:
name: Check uORB message reference docs
runs-on: [runs-on,runner=2cpu-linux-x64,image=ubuntu24-full-x64,"run-id=${{ github.run_id }}",spot=true]
container:
image: ghcr.io/px4/px4-dev:v1.16.0-rc1
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
persist-credentials: true
- name: Mark all directories safe for Git
run: git config --system --add safe.directory '*'
- name: Run uORB message docs check
run: Tools/ci/metadata_msg_docs.sh --test-only