Skip to content

Release v0.1.1 - Merge develop into main#35

Merged
JMR-dev merged 38 commits intomainfrom
develop
Oct 17, 2025
Merged

Release v0.1.1 - Merge develop into main#35
JMR-dev merged 38 commits intomainfrom
develop

Conversation

@JMR-dev
Copy link
Owner

@JMR-dev JMR-dev commented Oct 17, 2025

This PR merges develop into main for release v0.1.1.

Auto-generated by release workflow

Once status checks pass, this PR will be automatically merged.

JMR-dev and others added 30 commits October 15, 2025 15:23
* Added GPG public signing key
… and removed redundant env set up steps

* Updated status checks to mirror release workflow process
* Return type annotations added to build script for better linting/erroring
…de Code review does not run on every push, only new PR's and manually triggered runs
@JMR-dev JMR-dev merged commit 447a32f into main Oct 17, 2025
17 of 26 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

Comments