Skip to content

Conversation

@dvyukov
Copy link
Collaborator

@dvyukov dvyukov commented Jan 13, 2026

Add race:harmful/benign label.
Set it automatically by confirmed AI jobs.

Update #6582
Update #6584

@dvyukov dvyukov enabled auto-merge January 13, 2026 17:43
tarasmadan
tarasmadan previously approved these changes Jan 13, 2026
Copy link
Collaborator

@tarasmadan tarasmadan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It is surprising to see the loadBug... I thought we have it.

tarasmadan
tarasmadan previously approved these changes Jan 13, 2026
Add race:harmful/benign label.
Set it automatically by confirmed AI jobs.
@dvyukov
Copy link
Collaborator Author

dvyukov commented Jan 13, 2026

Had to introduce notion of per-bug-type labels (race is only applicable to data races).
Now CI is green. PTAL.

@dvyukov dvyukov added this pull request to the merge queue Jan 13, 2026
Merged via the queue into google:master with commit ff8156b Jan 13, 2026
18 checks passed
@dvyukov dvyukov added the AI patching Feature requests and bugs related to AI-based kernel bug fix generation. label Jan 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

AI patching Feature requests and bugs related to AI-based kernel bug fix generation.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants