fix(header): keep search and theme toggle visible on small laptops - #11559
Merged
Mergify / Mergify Merge Queue
succeeded
May 20, 2026 in 13h 39m 22s
Merged via merge queue
- ✅ Entered queue —
2026-05-19 17:23 UTC· Rule:default - ✅ Checks passed · on draft #11561
- ✅ Merged —
2026-05-20 07:02 UTC· at0679d7ef81a36350f2c4e8867fb0261fc167f672· squash
This pull request spent 13 hours 39 minutes 20 seconds in the queue, including 2 minutes 20 seconds running CI.
Required conditions to merge
-
schedule=Mon-Fri 09:00-17:30[Europe/Paris] - all of [🛡 Merge Protections rule Enforce conventional commit]:
title ~= ^(fix|feat|docs|style|refactor|perf|test|build|ci|chore|revert|ui)(?:\(.+\))?:
- all of [🛡 Merge Protections rule 👀 Review Requirements]:
- all of [🛡 Merge Protections rule 📕 PR description]:
body ~= (?ms:.{48,})
- all of [🛡 Merge Protections rule 🔎 Reviews]:
- all of [🛡 Merge Protections rule 🤖 Continuous Integration]:
Loading