Skip to content

Merge branch '9-make-the-documentation-executable' into gsod-rtd #4

Merge branch '9-make-the-documentation-executable' into gsod-rtd

Merge branch '9-make-the-documentation-executable' into gsod-rtd #4

Workflow file for this run

name: json cofiguration schema to html
on:
push:
branches:
- master
- gsod-rtd
paths:
- '.github/workflows/json-schema.yaml'
- 'workflow/schemas/config_schema.json'
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: 3.x
- run: |
pip install json-schema-for-humans
generate-schema-doc \
--config-file workflow/schemas/jsfh-conf.yaml \
workflow/schemas/config_schema.json \
docs/documentation/config_schema.html
- name: Create Pull Request
uses: peter-evans/create-pull-request@v6
with:
token: ${{ secrets.GITHUB_TOKEN }}
commit-message: 'Add config_schema.html'
title: 'Add config_schema.html'
body: 'This PR adds the config_schema.html file'
branch: 'add-config-schema-html'
base: 'gsod-rtd'