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

Use severity aware diagnostic callback #967

Merged
merged 1 commit into from
Dec 7, 2023
Merged

Use severity aware diagnostic callback #967

merged 1 commit into from
Dec 7, 2023

Conversation

maciektr
Copy link
Contributor

@maciektr maciektr commented Dec 1, 2023

commit-id:ed123aeb


Stack:

⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

github-merge-queue bot pushed a commit that referenced this pull request Dec 1, 2023
commit-id:22a68ba9

---

**Stack**:
- #971
- #970
- #967
- #966
- #965⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
@maciektr maciektr changed the base branch from spr/main/0a847ffd to main December 6, 2023 10:31
@maciektr maciektr marked this pull request as ready for review December 6, 2023 12:42
@maciektr maciektr added this pull request to the merge queue Dec 7, 2023
Merged via the queue into main with commit 31b92d4 Dec 7, 2023
20 checks passed
@maciektr maciektr deleted the spr/main/ed123aeb branch December 7, 2023 12:51
maciektr added a commit that referenced this pull request Dec 21, 2023
maciektr added a commit that referenced this pull request Jan 2, 2024
maciektr added a commit that referenced this pull request Jan 17, 2024
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.

2 participants