Skip to content

Develop - #487

Closed
pnrobinson wants to merge 7 commits into
masterfrom
develop
Closed

pnrobinson wants to merge 7 commits into
masterfrom
develop

Conversation

@pnrobinson

Copy link
Copy Markdown
Member

No description provided.

@ielis

ielis commented Dec 3, 2025

Copy link
Copy Markdown
Member

We need a release branch & PR to make a release. We cannot release like this! Please let me know when you'd like to make a release and I can show you the drill (or I can release myself, whichever you prefer)!

@ielis ielis closed this Dec 3, 2025
@pnrobinson

Copy link
Copy Markdown
Member Author

Sorry, yeah I saw this too late. I am trying to figure out how to trigger a documentation workflow run

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