Skip to content

[chore] fix unused unfold warnings#1042

Merged
fdupress merged 1 commit into
mainfrom
fix-unused-unfold
Jun 12, 2026
Merged

[chore] fix unused unfold warnings#1042
fdupress merged 1 commit into
mainfrom
fix-unused-unfold

Conversation

@fdupress

Copy link
Copy Markdown
Member

No description provided.

@fdupress fdupress requested a review from strub June 11, 2026 18:12
@fdupress fdupress self-assigned this Jun 11, 2026
@fdupress fdupress force-pushed the fix-unused-unfold branch from aa9f616 to 2eb8a5a Compare June 11, 2026 18:41
@fdupress fdupress marked this pull request as draft June 11, 2026 19:27
@fdupress fdupress added the chore Ungrateful tasks that need done but that nobody wants to do label Jun 11, 2026
Base automatically changed from default-und-delta to main June 11, 2026 21:17
@fdupress fdupress force-pushed the fix-unused-unfold branch 2 times, most recently from 18847c6 to 20432ab Compare June 11, 2026 21:49
@fdupress fdupress marked this pull request as ready for review June 12, 2026 13:55
@fdupress fdupress force-pushed the fix-unused-unfold branch from 20432ab to bb15fc7 Compare June 12, 2026 16:30
@fdupress fdupress added the yolo-pr Don't bother reviewing, I will merge label Jun 12, 2026
@fdupress fdupress enabled auto-merge June 12, 2026 17:22
@fdupress fdupress force-pushed the fix-unused-unfold branch from bb15fc7 to f1ae239 Compare June 12, 2026 17:29
@fdupress fdupress disabled auto-merge June 12, 2026 18:00
@fdupress fdupress merged commit 1c7e6d7 into main Jun 12, 2026
19 checks passed
@fdupress fdupress deleted the fix-unused-unfold branch June 12, 2026 18:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Ungrateful tasks that need done but that nobody wants to do yolo-pr Don't bother reviewing, I will merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant