Fixing deploy of presentation

master
cvvergara 2022-07-26 15:23:02 -05:00
parent 6292009d86
commit 0364cb2326
2 changed files with 8 additions and 8 deletions

View File

@ -44,6 +44,13 @@ jobs:
mkdir -p build
bash ci/build-pages.sh
- name: Deploy pages
if: github.ref == 'refs/heads/master'
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: build/_build/html
- name: Update locale
if: github.ref == 'refs/heads/master'
run: |
@ -57,10 +64,3 @@ jobs:
git restore . # Remove the unstaged changes before rebasing
git rebase origin/master
git push origin master
- name: Deploy pages
if: github.ref == 'refs/heads/master'
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: build/_build/html

View File

@ -1,4 +1,4 @@
sphinx>=4.0.0
sphinx==4.3.2
sphinx-intl>=2.0.0
sphinx-revealjs
sphinx-intl[transifex]