Skip to content

Conversation

ddoktorski
Copy link
Contributor

@ddoktorski ddoktorski commented Sep 26, 2025

Related #3744

commit-id:5f0e42b9

@ddoktorski ddoktorski requested a review from a team as a code owner September 26, 2025 09:27
@ddoktorski ddoktorski requested review from MKowalski8 and cptartur and removed request for a team September 26, 2025 09:27
github-merge-queue bot pushed a commit that referenced this pull request Sep 26, 2025
Closes #3292
Closes #2960

commit-id:7967ca03

---

**Stack**:
- #3756
- #3755
- #3752
- #3751
- #3736⚠️ *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.*
@ddoktorski ddoktorski requested review from THenry14, franciszekjob, ksew1 and piotmag769 and removed request for MKowalski8 September 26, 2025 11:37
github-merge-queue bot pushed a commit that referenced this pull request Sep 26, 2025
Closes #3499

commit-id:c7694535

---

**Stack**:
- #3756
- #3755
- #3752
- #3751⚠️ *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.*
Copy link
Collaborator

@THenry14 THenry14 left a comment

Choose a reason for hiding this comment

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

the logic is ok from profiler pov 👍

github-merge-queue bot pushed a commit that referenced this pull request Sep 29, 2025
Closes #3399
Related #3744

commit-id:40786103

---

**Stack**:
- #3756
- #3755
- #3752⚠️ *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.*
@ddoktorski ddoktorski force-pushed the spr/master/5f0e42b9 branch 2 times, most recently from 27a94d8 to 2714ace Compare September 30, 2025 11:02
github-merge-queue bot pushed a commit that referenced this pull request Sep 30, 2025
Related #3744

commit-id:fe6352de

---

**Stack**:
- #3756
- #3755⚠️ *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.*
Base automatically changed from spr/master/fe6352de to master September 30, 2025 12:26
@ddoktorski ddoktorski added this pull request to the merge queue Sep 30, 2025
Merged via the queue into master with commit f14ba50 Sep 30, 2025
52 of 74 checks passed
@ddoktorski ddoktorski deleted the spr/master/5f0e42b9 branch September 30, 2025 13:49
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.

4 participants