chore(merge-back): 1.133.0 - #5139
Merged
Merged
Mergify / Mergify Merge Queue
succeeded
Jun 1, 2026 in 25m 35s
Merged via merge queue
- ✅ Entered queue —
2026-06-01 11:33 UTC· Rule:default-merge - ✅ Checks passed · in-place
- ✅ Merged —
2026-06-01 11:59 UTC· at5d504c20a740ba4c98226068783beabed5460e45· merge
This pull request spent 25 minutes 32 seconds in the queue, including 25 minutes 1 second running CI.
Required conditions to merge
#approved-reviews-by >= 1[🛡 GitHub branch protection]-
status-success=Integration test (jsii-pacmak) -
status-success=Unit Tests - any of [🛡 GitHub branch protection]:
-
check-success = Integration test (jsii-pacmak) -
check-neutral = Integration test (jsii-pacmak) -
check-skipped = Integration test (jsii-pacmak)
-
- any of [🛡 GitHub branch protection]:
-
check-success = Build -
check-neutral = Build -
check-skipped = Build
-
- any of [🛡 GitHub branch protection]:
-
check-success = Unit Tests -
check-neutral = Unit Tests -
check-skipped = Unit Tests
-
Loading