Skip to content

Workflow improvements for GitHub Actions#47

Merged
ndm13 merged 4 commits into
mainfrom
workflow-improvements
Jul 11, 2026
Merged

Workflow improvements for GitHub Actions#47
ndm13 merged 4 commits into
mainfrom
workflow-improvements

Conversation

@ndm13

@ndm13 ndm13 commented Jul 11, 2026

Copy link
Copy Markdown
Owner

Make the release process more robust to reduce unwanted surprises.

@ndm13 ndm13 changed the title Test builds before merging to main Workflow improvements for GitHub Actions Jul 11, 2026
@ndm13 ndm13 merged commit 4142db8 into main Jul 11, 2026
10 checks passed
@ndm13 ndm13 deleted the workflow-improvements branch July 11, 2026 21:48
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.

1 participant