commit 16dbb0da32a28d04cf970a6fdb7e013028b88f6c parent ac1fb98f6086066abb3f790c068847dd67983515 Author: Friedel Schön <[email protected]> Date: Thu, 8 Jun 2023 13:59:32 +0200 adding workflow Diffstat:
| A | .github/workflows/website.yml | | | 22 | ++++++++++++++++++++++ |
1 file changed, 22 insertions(+), 0 deletions(-)
diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml @@ -0,0 +1,21 @@ +name: Publish Documentation + +on: + push: + branches: 'master' + +jobs: + publish: + runs-on: ubuntu-latest + steps: + - name: Check out + uses: actions/checkout@v3 + + - name: Generate Documentation + run: 'make documentation' + + - name: Publish current workdir to GitHub Pages + uses: rayluo/[email protected] + with: + source-directory: target/docs + target-branch: master +\ No newline at end of file