Skip to content
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.

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

[tool] Coverage crash fix #15857

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

[tool] Coverage crash fix #15857

wants to merge 1 commit into from

Conversation

vineethk
Copy link
Contributor

@vineethk vineethk commented Jan 31, 2025

Description

Fixes #15117, #15698, #15032.

Starting point for this PR was #15250, but there are several modifications.

How Has This Been Tested?

Key Areas to Review

Type of Change

  • Bug fix

Which Components or Systems Does This Change Impact?

  • Other: Move Coverage Tool

Copy link

trunk-io bot commented Jan 31, 2025

⏱️ 9s total CI duration on this PR

Job Cumulative Duration Recent Runs
permission-check 5s 🟩
permission-check 4s 🟩
check-branch-prefix 1s 🟩

settingsfeedbackdocs ⋅ learn more about trunk.io

Copy link
Contributor Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

@vineethk vineethk changed the title Many coverage fixes together. Coverage crash fix Jan 31, 2025
@vineethk vineethk changed the title Coverage crash fix [tool] Coverage crash fix Jan 31, 2025
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.

[Bug][compiler-v2] Coverage testing DevEx issues
1 participant