summaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authoritchyny <itchyny@cybozu.co.jp>2023-07-22 15:21:59 +0900
committerNico Williams <nico@cryptonector.com>2023-07-22 19:00:16 -0500
commit9044f540bbf4959fc3720c352742f2800411946e (patch)
tree433542ee02fa08473a7b9641493b97b08bb76f2f /.github
parentc9c45d7f0329c89c88823e1c24c96a96d8436205 (diff)
Validate manual schema
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/manpage.yml3
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/manpage.yml b/.github/workflows/manpage.yml
index 41d7a1dd..e0364bf2 100644
--- a/.github/workflows/manpage.yml
+++ b/.github/workflows/manpage.yml
@@ -31,6 +31,9 @@ jobs:
- name: Install dependencies
run: pipenv sync
working-directory: docs
+ - name: Validate manual schema
+ run: pipenv run python3 validate_manual_schema.py content/manual/**/*.yml
+ working-directory: docs
- name: Configure
run: |
autoreconf -i