[CI] Update workflow
Some checks failed
Build docs / build_docs (push) Failing after 15s

This commit is contained in:
2025-12-23 07:20:58 +01:00
parent 86f080a705
commit 5169d20bed

View File

@@ -19,7 +19,7 @@ jobs:
- name: Run build - name: Run build
uses: actions/latex@main uses: actions/latex@main
with: with:
args: -latexoption=-file-line-error -latexoption=-interaction=nonstopmode docs/docs.tex workdir: docs
- name: Upload compiled docs - name: Upload compiled docs
uses: actions/git-auto-commit-action@v7 uses: actions/git-auto-commit-action@v7
with: with: