page deploy

This commit is contained in:
Vojta Mrazek 2023-02-24 13:41:36 +01:00
parent d52e67bb25
commit bb4c6d35a7

View File

@ -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.