PR #3322 Minor app embed improvements

Minor app embed improvements #3322

githubnemo merged 2 commits into huggingface:main from githubnemo:minor-app-embed-improvements

app_embed: remove legend for pareto frontier

26abcd8e

Fix task switching in app_embed

c4047991

githubnemo requested a review from

BenjaminBossan 33 days ago

BenjaminBossan approved these changes on 2026-06-12

githubnemo merged 6a832dec into main 2 days ago

Reviewers

BenjaminBossan

Assignees

No one assigned

Labels

None yet

Milestone

No milestone