merge dev → main (no emoji, no exec on /apps) - #1955

Merged

Flotapponnier merged 5 commits into

mainfrom

Aug 15, 2026

Commits on Aug 15, 2026

inline exec quality into /apps, delete /apps/exec (#1951)
Flotapponnier
authored
8d6f8c9
fix: guard data.platforms in ExecBenchTable (#1952)
Flotapponnier
authored
487b356
fix: remove emojis and exec section from /apps (#1954)
Flotapponnier
authored
cbb8190
remove /apps page and all associated libs (#1957)
Flotapponnier
authored
7dab36e
merge main, keep deletions
Flotapponnier
committed
b48ee4c