Skip to content

CI: raise PDF build errors - #451

Merged
rgwott merged 2 commits into
ARM-software:mainfrom
rgwott:flag_build_error
Aug 12, 2026
Merged

CI: raise PDF build errors#451
rgwott merged 2 commits into
ARM-software:mainfrom
rgwott:flag_build_error

Conversation

@rgwott

@rgwott rgwott commented Aug 12, 2026

Copy link
Copy Markdown
Contributor

This change fixes the PDF build workflow to raise errors in case of failed PDF generation.

@rgwott rgwott changed the title Flag build error CI: raise PDF build errors Aug 12, 2026
@rgwott
rgwott merged commit a32fcf9 into ARM-software:main Aug 12, 2026
3 checks passed
@rgwott
rgwott deleted the flag_build_error branch August 12, 2026 16:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants