Skip to content

ci: Update the main branch#685

Merged
cdecker merged 1 commit intomainfrom
2026w11-fix-main-branch
Mar 17, 2026
Merged

ci: Update the main branch#685
cdecker merged 1 commit intomainfrom
2026w11-fix-main-branch

Conversation

@cdecker
Copy link
Collaborator

@cdecker cdecker commented Mar 17, 2026

There was a bit of a mixup about branch naming conventions.

@cdecker cdecker merged commit 838dff0 into main Mar 17, 2026
@cdecker cdecker deleted the 2026w11-fix-main-branch branch March 17, 2026 15:15
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