[Docs] Use docs from current repo
Update docs / build_docs (push) Successful in 28s

This commit is contained in:
janishutz committed 2026-02-23 10:02:54 +01:00
1 parent 8a6c139589
commit 28ffcbd117
2 files changed
+2 -2

No files matched your search

+1 -1
View File
@@ -23,7 +23,7 @@ jobs:
uses: actions/latex-full@main
with:
workdir: docs
include_helpers: true
# include_helpers: true
- name: Upload compiled docs
uses: actions/git-auto-commit-action@v7
with: