Merge pull request from ehw-fit/devel

This commit is contained in:
Jan Klhůfek 2023-02-24 14:12:40 +01:00 committed by GitHub
commit cf747918bf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -128,7 +128,7 @@ jobs:
name: documentation
path: html
- name: Deploy 🚀
uses: JamesIves/github-pages-deploy-action@4
uses: JamesIves/github-pages-deploy-action@4.4.1
with:
branch: gh-pages # The branch the action should deploy to.
folder: html/ariths_gen # The folder the action should deploy.
folder: html/ariths_gen # The folder the action should deploy.