2020-02-27 02:53:22 +01:00
|
|
|
name: Generate documentation
|
|
|
|
on:
|
|
|
|
push:
|
|
|
|
paths:
|
|
|
|
- DOCUMENTATION.md
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
generate:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
with:
|
|
|
|
ref: gh-pages
|
|
|
|
- name: Run generator
|
2020-02-27 03:53:35 +01:00
|
|
|
run: documentation-generator/run.py
|