Skip to content

Sort lifetimes by longest first#875

Merged
tmke8 merged 1 commit intomainfrom
push-wpopwqupyrpt
Mar 10, 2026
Merged

Sort lifetimes by longest first#875
tmke8 merged 1 commit intomainfrom
push-wpopwqupyrpt

Conversation

@tmke8
Copy link
Owner

@tmke8 tmke8 commented Mar 10, 2026

No description provided.

@github-actions
Copy link

Wasm sizes:
Base branch: 122317 bytes
PR: 122317 bytes
Size diff: 0 bytes (0.00%)

@tmke8 tmke8 enabled auto-merge (squash) March 10, 2026 14:00
@tmke8 tmke8 merged commit 8df77c5 into main Mar 10, 2026
13 checks passed
@tmke8 tmke8 deleted the push-wpopwqupyrpt branch March 10, 2026 14:01
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.

1 participant