Skip to content

chore: backmerge main into dev#11

Merged
schizza merged 9 commits into
devfrom
main
Apr 15, 2026
Merged

chore: backmerge main into dev#11
schizza merged 9 commits into
devfrom
main

Conversation

@schizza

@schizza schizza commented Apr 15, 2026

Copy link
Copy Markdown
Owner

Propagate hot fixes from main to dev to keep branches in sync.

schizza and others added 9 commits April 15, 2026 13:46
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
@github-actions github-actions Bot added the chore Maintenance (CI/CD, dependencies, tooling) label Apr 15, 2026
@schizza schizza merged commit 28acf43 into dev Apr 15, 2026
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance (CI/CD, dependencies, tooling)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant