Skip to content

Conversation

emilk
Copy link
Owner

@emilk emilk commented Aug 21, 2025

No description provided.

@emilk emilk added the egui label Aug 21, 2025
Copy link

Preview available at https://egui-pr-preview.github.io/pr/7469-emilk1860
Note that it might take a couple seconds for the update to show up after the preview_build workflow has completed.

@emilk emilk merged commit 531ead5 into main Aug 21, 2025
46 of 48 checks passed
@emilk emilk deleted the emilk/1.86.0 branch August 21, 2025 13:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant