Skip to content

Merge branch 'kondys_maint_DT_to_ts_limiter' into 'devel' #9

Merge branch 'kondys_maint_DT_to_ts_limiter' into 'devel'

Merge branch 'kondys_maint_DT_to_ts_limiter' into 'devel' #9

Workflow file for this run

name: documentation
on:
push:
branches: [main]
jobs:
build:
name: Sphinx Pages
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Setup and build
run: |
sudo apt-get install python3-pip
pip3 install sphinx sphinx-vhdl sphinx_rtd_theme
sphinx-build -M html doc/source public
touch public/html/.nojekyll
- name: Deploy
uses: JamesIves/[email protected]
with:
branch: gh-pages
folder: public/html