Skip to content

Merge pull request #46 from htrb/add_registered_and_copyright_sign #48

Merge pull request #46 from htrb/add_registered_and_copyright_sign

Merge pull request #46 from htrb/add_registered_and_copyright_sign #48

Workflow file for this run

name: Update API docs
on: push
jobs:
report:
runs-on: ubuntu-latest
steps:
- name: checkout code
uses: actions/checkout@v2
- name: update api docs
run: |
cd scripts
./generate-docs.sh
- name: Commit API documentation
uses: EndBug/add-and-commit@v8
with:
default_author: github_actions
message: '[web-bot] updated auto-generated documentation'
add: 'docs/documentation/*.html --force'