Repository navigation
Fix/simulate button - #1715
Merged
Merged
Fix/simulate button#1715
Mergify / Mergify Merge Queue
succeeded
Oct 16, 2026 in 13s
Merged via merge queue
- ✅ Entered queue —
2026-10-16 10:01 UTC· Rule:Automatic queue to dev on approval· triggered by ruleAutomatic queue to dev on approval [low] - ✅ Checks skipped · PR is already up-to-date
- ✅ Merged —
2026-10-16 10:01 UTC· atda3051b2db9629fc9e502be602f03ea6ce65b598· squash
This pull request spent 11 seconds in the queue, including 1 second running CI.
Required conditions to merge
#approved-reviews-by>=1#review-threads-unresolved = 0[🛡 GitHub branch protection]#review-threads-unresolved=0-conflict-draft-locked-
base=dev github-review-approved[🛡 GitHub branch protection]head!=nextlabel!=no-auto-squash-mergelabel!=wiplabel!=work-in-progress-
status-success~=^build-doc\s\(.*\)$ -
status-success~=^build\s\(.*\)$ -
status-success~=^integration-test\s\(.*\)$ -
status-success~=^lint\s\(.*\)$ -
status-success~=^unit-test\s\(.*\)$ -
status-success~=^version-check\s\(.*\)$ - any of [🛡 GitHub branch protection]:
-
check-success = build (22) -
check-neutral = build (22) -
check-skipped = build (22)
-
Loading