feat: docs-publish worfklow - #124

Merged

lurtz merged 25 commits into

mainfrom

Aug 3, 2026

Commits on Jul 24, 2026

feat: docs-publish worfklow

AlexanderLanin
authored and
lurtz
committed
0aa246a
Merge remote-tracking branch 'origin/main' into secure-docs
lurtz
committed
0878af0
only use job name for disk cache name
lurtz
committed
81eea81
diff minimization
lurtz
committed
9392d6a
increase queue size
lurtz
committed
5443b83
delete unused action
lurtz
committed
53a448d
remove unused parameters
lurtz
committed
e83fb37
update usage
lurtz
committed
6d067ac
skip artifact download in merge queue
lurtz
committed
84ec6e6
bump checkout version
lurtz
committed
e543b58
remove .git directory before artifact upload
lurtz
committed
5e80e6b
make runner configurable
lurtz
committed
f0c4847
create gh-pages branch if it does not exist
lurtz
committed
47b39c1
retrieve fork PR number somehow
lurtz
committed
cc799c8
Fix docs PR comment detection for fork runs
lurtz
committed
d9e37b4
Add check-suite fallback for PR comment resolution
lurtz
committed
323e3f4
Run PR comment steps even after deploy failures
lurtz
committed
ea3e401

Commits on Jul 30, 2026

fix: harden docs publishing workflow

AlexanderLanin
and
Copilot
committed
321e1a4
docs: document split docs workflow

AlexanderLanin
and
Copilot
committed
4376826
feat: publish versioned tag documentation

AlexanderLanin
and
Copilot
committed
debc8e1
fix: use workflow run ref for docs versions

AlexanderLanin
and
Copilot
committed
b129710

Commits on Jul 31, 2026

fix: restore legacy docs deployment support
AlexanderLanin
committed
539c532
fix: install graphviz for documentation builds
AlexanderLanin
committed
9acaf2d
Merge branch 'main' into dev
AlexanderLanin
authored
97423b5

Commits on Aug 3, 2026

really find PR for placing comment with link to docs (#177)
lurtz
authored
b8e66fb