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

Add ExpandDerive handler #1685

Merged
merged 1 commit into from
Nov 9, 2024
Merged

Add ExpandDerive handler #1685

merged 1 commit into from
Nov 9, 2024

Conversation

Draggu
Copy link
Contributor

@Draggu Draggu commented Oct 24, 2024

Stack:

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

@Draggu Draggu force-pushed the spr/main/20ad0a61 branch from f1b1062 to b112516 Compare November 4, 2024 12:27
@Draggu Draggu force-pushed the spr/main/ab75be72 branch from a4ec28e to 4ae3d6f Compare November 4, 2024 12:27
@Draggu Draggu changed the base branch from spr/main/ab75be72 to main November 4, 2024 14:11
@Draggu Draggu mentioned this pull request Nov 4, 2024
@Draggu Draggu force-pushed the spr/main/20ad0a61 branch from b112516 to 1d0735d Compare November 4, 2024 14:11
@Draggu Draggu changed the base branch from main to spr/main/ab75be72 November 4, 2024 14:11
@Draggu Draggu force-pushed the spr/main/20ad0a61 branch from 1d0735d to e5e57fc Compare November 4, 2024 14:18
@Draggu Draggu force-pushed the spr/main/ab75be72 branch from edcd95c to d7127dc Compare November 4, 2024 14:18
@Draggu Draggu force-pushed the spr/main/20ad0a61 branch 2 times, most recently from 0b9f0e5 to b01f475 Compare November 5, 2024 15:17
@Draggu Draggu changed the base branch from spr/main/ab75be72 to main November 5, 2024 15:28
@Draggu Draggu force-pushed the spr/main/20ad0a61 branch from b01f475 to 8b10aaa Compare November 5, 2024 15:28
@Draggu Draggu changed the base branch from main to spr/main/ab75be72 November 5, 2024 15:28
@Draggu Draggu mentioned this pull request Nov 5, 2024
@Draggu Draggu force-pushed the spr/main/20ad0a61 branch from 8b10aaa to a145527 Compare November 6, 2024 10:40
github-merge-queue bot pushed a commit that referenced this pull request Nov 6, 2024
**Stack**:
- #1686
- #1685
- #1684
- #1683
- #1718
- #1682
- #1681
- #1680
- #1679
- #1715 ⬅
- #1676


⚠️ *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.*
github-merge-queue bot pushed a commit that referenced this pull request Nov 6, 2024
**Stack**:
- #1686
- #1685
- #1684
- #1683
- #1718
- #1682
- #1681
- #1680
- #1679 ⬅
- #1715
- #1676


⚠️ *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.*
@Draggu Draggu force-pushed the spr/main/20ad0a61 branch from a145527 to f8b2f9b Compare November 6, 2024 17:54
github-merge-queue bot pushed a commit that referenced this pull request Nov 6, 2024
**Stack**:
- #1686
- #1685
- #1684
- #1683
- #1718
- #1682
- #1681
- #1680⚠️ *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.*
@Draggu Draggu force-pushed the spr/main/20ad0a61 branch from f8b2f9b to b481546 Compare November 7, 2024 10:08
github-merge-queue bot pushed a commit that referenced this pull request Nov 7, 2024
**Stack**:
- #1686
- #1685
- #1684
- #1683
- #1718
- #1682
- #1681⚠️ *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.*
@Draggu Draggu force-pushed the spr/main/20ad0a61 branch from b481546 to 8882d2b Compare November 7, 2024 12:45
@Draggu Draggu force-pushed the spr/main/ab75be72 branch from 4230b98 to 05db54c Compare November 7, 2024 12:45
github-merge-queue bot pushed a commit that referenced this pull request Nov 7, 2024
**Stack**:
- #1686
- #1685
- #1684
- #1683
- #1718
- #1682⚠️ *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.*
@Draggu Draggu force-pushed the spr/main/20ad0a61 branch from 8882d2b to 4558cb5 Compare November 8, 2024 12:11
@Draggu Draggu force-pushed the spr/main/ab75be72 branch from 05db54c to d19f72f Compare November 8, 2024 12:11
github-merge-queue bot pushed a commit that referenced this pull request Nov 8, 2024
**Stack**:
- #1686
- #1685
- #1684
- #1683
- #1718⚠️ *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.*
github-merge-queue bot pushed a commit that referenced this pull request Nov 9, 2024
**Stack**:
- #1686
- #1685
- #1684
- #1683 ⬅
- #1718


⚠️ *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.*
@Draggu Draggu force-pushed the spr/main/20ad0a61 branch from 4558cb5 to fe09b6e Compare November 9, 2024 16:13
github-merge-queue bot pushed a commit that referenced this pull request Nov 9, 2024
**Stack**:
- #1686
- #1685
- #1684⚠️ *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/main/ab75be72 to main November 9, 2024 17:48
commit-id:20ad0a61
@Draggu Draggu force-pushed the spr/main/20ad0a61 branch from fe09b6e to 5870809 Compare November 9, 2024 17:54
@Draggu Draggu enabled auto-merge November 9, 2024 17:54
@Draggu Draggu added this pull request to the merge queue Nov 9, 2024
Merged via the queue into main with commit 3e71fa0 Nov 9, 2024
44 checks passed
@Draggu Draggu deleted the spr/main/20ad0a61 branch November 9, 2024 19:19
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.

3 participants