mirror of
https://gitee.com/mirrors_PX4/PX4-Autopilot.git
synced 2026-04-14 10:07:39 +08:00
ci: metadata checks for docs
check if metadata needs to be rebuilt! Signed-off-by: Ramon Roche <mrpollo@gmail.com>
This commit is contained in:
parent
bc6cc5f82a
commit
24ac02fbac
26
.github/workflows/docs_metadata_check.yml
vendored
Normal file
26
.github/workflows/docs_metadata_check.yml
vendored
Normal file
@ -0,0 +1,26 @@
|
||||
name: Docs Metadata Checks
|
||||
|
||||
# Grant write permission so PR workflows can commit updated JSONs back
|
||||
permissions:
|
||||
contents: write
|
||||
|
||||
on:
|
||||
pull_request: {}
|
||||
push:
|
||||
branches:
|
||||
- main
|
||||
- 'release/**'
|
||||
|
||||
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]
|
||||
container:
|
||||
image: ghcr.io/px4/px4-dev:v1.16.0-rc1
|
||||
|
||||
steps:
|
||||
- name: Checkout repository
|
||||
uses: actions/checkout@v4
|
||||
|
||||
- name: Run uORB graph docs check
|
||||
run: Tools/ci/metadata_uorb_graph.sh --test-only
|
||||
Loading…
x
Reference in New Issue
Block a user