diff --git a/.gitea/workflows/build-docs.yml b/.gitea/workflows/build-docs.yml index d9c19fc..b5ed504 100644 --- a/.gitea/workflows/build-docs.yml +++ b/.gitea/workflows/build-docs.yml @@ -1,8 +1,9 @@ name: Build docs on: - push: - paths: - - 'docs/**' + push + # push: + # paths: + # - 'docs/**' jobs: build_docs: runs_on: ubuntu-latest @@ -10,7 +11,7 @@ jobs: - name: Set up Git repository uses: actions/checkout@v6 - name: Run build - use: actions/latex + uses: actions/latex with: args: "-latexoption=-file-line-error -latexoption=-interaction=nonstopmode docs/docs.tex" - name: Upload compiled docs