Skip to content

feat: docs-publish worfklow #124

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
lurtz merged 25 commits into from
Aug 3, 2026
Merged

feat: docs-publish worfklow #124

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
0aa246a
feat: docs-publish worfklow
AlexanderLanin Jun 11, 2026
0878af0
Merge remote-tracking branch 'origin/main' into secure-docs
lurtz Jul 24, 2026
81eea81
only use job name for disk cache name
lurtz Jul 24, 2026
9392d6a
diff minimization
lurtz Jul 24, 2026
5443b83
increase queue size
lurtz Jul 24, 2026
53a448d
delete unused action
lurtz Jul 24, 2026
e83fb37
remove unused parameters
lurtz Jul 24, 2026
6d067ac
update usage
lurtz Jul 24, 2026
84ec6e6
skip artifact download in merge queue
lurtz Jul 24, 2026
e543b58
bump checkout version
lurtz Jul 24, 2026
5e80e6b
remove .git directory before artifact upload
lurtz Jul 24, 2026
f0c4847
make runner configurable
lurtz Jul 24, 2026
47b39c1
create gh-pages branch if it does not exist
lurtz Jul 24, 2026
cc799c8
retrieve fork PR number somehow
lurtz Jul 24, 2026
d9e37b4
Fix docs PR comment detection for fork runs
lurtz Jul 24, 2026
323e3f4
Add check-suite fallback for PR comment resolution
lurtz Jul 24, 2026
ea3e401
Run PR comment steps even after deploy failures
lurtz Jul 24, 2026
321e1a4
fix: harden docs publishing workflow
AlexanderLanin Jul 30, 2026
4376826
docs: document split docs workflow
AlexanderLanin Jul 30, 2026
debc8e1
feat: publish versioned tag documentation
AlexanderLanin Jul 30, 2026
b129710
fix: use workflow run ref for docs versions
AlexanderLanin Jul 30, 2026
539c532
fix: restore legacy docs deployment support
AlexanderLanin Jul 31, 2026
9acaf2d
fix: install graphviz for documentation builds
AlexanderLanin Jul 31, 2026
97423b5
Merge branch 'main' into dev
AlexanderLanin Jul 31, 2026
b8e66fb
really find PR for placing comment with link to docs (#177)
lurtz Aug 3, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
169 changes: 0 additions & 169 deletions .github/actions/deploy-versioned-pages/action.yml
View file
Open in desktop

This file was deleted.

Loading
Loading