Skip to content

still run integration tests on main#45

Merged
johha merged 1 commit intomainfrom
fix-main-trigger
Feb 13, 2026
Merged

still run integration tests on main#45
johha merged 1 commit intomainfrom
fix-main-trigger

Conversation

@johha
Copy link
Contributor

@johha johha commented Feb 13, 2026

No description provided.

@johha johha requested a review from jochenehret February 13, 2026 09:47
@github-project-automation github-project-automation bot moved this from Inbox to Pending Merge | Prioritized in Foundational Infrastructure Working Group Feb 13, 2026
@johha johha merged commit 1532200 into main Feb 13, 2026
11 checks passed
@github-project-automation github-project-automation bot moved this from Pending Merge | Prioritized to Done in Foundational Infrastructure Working Group Feb 13, 2026
@johha johha deleted the fix-main-trigger branch February 13, 2026 09:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

2 participants