Skip to content

Conversation

@kwin
Copy link
Member

@kwin kwin commented Nov 12, 2025

It has been renamed from master to main

It has been renamed from master to main
@kwin kwin requested a review from laeubi November 12, 2025 13:54
@github-actions
Copy link

Test Results

  218 files  ±0    218 suites  ±0   44m 14s ⏱️ +31s
  692 tests ±0    670 ✅ ±0  21 💤 ±0  0 ❌ ±0  1 🔥 ±0 
1 384 runs  ±0  1 341 ✅ ±0  42 💤 ±0  0 ❌ ±0  1 🔥 ±0 

For more details on these errors, see this check.

Results for commit 47224a1. ± Comparison against base commit 4b69dfc.

@kwin kwin merged commit 460c623 into main Nov 12, 2025
6 of 12 checks passed
@kwin kwin deleted the bugfix/gitmodule-branch-name branch November 12, 2025 14:21
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.

3 participants