[CI] Debug docs
Some checks failed
Build Docs / build_docs (push) Failing after 7s

This commit is contained in:
2025-12-22 15:34:37 +01:00
parent 1518007fe2
commit 7ee9152f41
2 changed files with 3 additions and 7 deletions

View File

@@ -13,7 +13,7 @@ jobs:
- name: Run build
run: ./build.sh
- name: Upload compiled helpers
uses: stefanzweifel/git-auto-commit-action@v7
uses: actions/git-auto-commit-action@v7
with:
commit_message: "[skip ci] Build helpers on push"
file_pattern: '*.tex'