Skip to content

Synchronize release workflows with dev - #2100

Merged
profvjreddi merged 1 commit into
mainfrom
sync/release-workflows
Aug 31, 2026
Merged

Synchronize release workflows with dev#2100
profvjreddi merged 1 commit into
mainfrom
sync/release-workflows

Conversation

@profvjreddi

Copy link
Copy Markdown
Contributor

Synchronizes the validated workflow definitions required for the Volume I v0.7.2 public release, including public PDF cover generation. No manuscript content is included in this workflow-only synchronization.

@github-actions github-actions Bot added area: tools Build tools, scripts, CI/CD type: bug bug in rendering labels Aug 31, 2026
@profvjreddi
profvjreddi merged commit 01c6933 into main Aug 31, 2026
15 of 26 checks passed
@profvjreddi
profvjreddi deleted the sync/release-workflows branch August 31, 2026 19:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area: tools Build tools, scripts, CI/CD type: bug bug in rendering

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant