Skip to content

Merge develop into main - #34

Merged
rcbjBlueMars merged 2 commits into
mainfrom
develop
Nov 6, 2026
Merged

rcbjBlueMars merged 2 commits into
mainfrom
develop

Conversation

@rcbjBlueMars

Copy link
Copy Markdown
Contributor

Brings develop into main: 2 commits.

Publish workflows now decide for themselves. When the library's files changed since the last release's tag, a pull request merged into main takes the next patch number, publishes, and creates the tag and a GitHub Release. A change to tests, the demo, or the docs releases nothing. Raising VERSION still chooses a version.

…#32)

Publish workflows now decide for themselves. When the library's files changed since the last release's tag, a pull request merged into `main` takes the next patch number, publishes, and creates the tag and a GitHub Release. A change to tests, the demo, or the docs releases nothing. Raising `VERSION` still chooses a version.
Release automatically when the library changes, with a GitHub Release
@rcbjBlueMars
rcbjBlueMars merged commit 2534c2a into main Nov 6, 2026
10 checks passed
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