[DO NOT MERGE] Introduce coredump server #1370

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft

etiaro wants to merge 2 commits into master from etiaro/coredump-server

Draft

[DO NOT MERGE] Introduce coredump server #1370

build: add coredump_servers to all targets

GitHub Actions / Unit Test Results succeeded Nov 5, 2025 in 0s

All 9 011 tests pass, 601 skipped in 51m 51s

9 612 tests ±0 9 011 ✅ ±0 51m 51s ⏱️ + 2m 29s
544 suites ±0 601 💤 ±0
1 files ±0 0 ❌ ±0

Results for commit 4963991. ± Comparison against earlier commit 8f140c8.

View more details on GitHub Actions