[CI] Build fixes
Some checks failed
Build helpers / build_docs (push) Failing after 8s

This commit is contained in:
2025-12-22 15:01:19 +01:00
parent 978039b0d0
commit e64a76745a

View File

@@ -8,8 +8,8 @@ jobs:
- name: Set up Git repository
uses: actions/checkout@v6
- name: Run build
run: build.sh
- name: Upload PDF file
run: /build.sh
- name: Upload compiled helpers
uses: stefanzweifel/git-auto-commit-action@v7
with:
commit_message: "[skip ci] Build helpers on push"