Skip to content

Add new Workflow - #245

Draft
MKZaito wants to merge 1 commit into
masterfrom
Add-new-Workflow
Draft

MKZaito wants to merge 1 commit into
masterfrom
Add-new-Workflow

Conversation

@MKZaito

@MKZaito MKZaito commented Oct 6, 2026 •

Copy link
Copy Markdown
Collaborator

Added

  • A new manually triggered workflow that allows the pubslishing of new monticore:stream-symbols.
    • To avoid unwanted side effects the required gradle task and stream-symbols are not included in this PR

@MKZaito
MKZaito marked this pull request as ready for review October 6, 2026 12:45
@mathias-pfeiffer
mathias-pfeiffer marked this pull request as draft October 7, 2026 16:45

This branch has not been deployed

No deployments
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