Update dependency platforms to v0.0.11 #638
Merged
Mergify / Mergify Merge Queue
succeeded
Apr 7, 2026 in 35m 33s
Merged via merge queue
- ✅ Entered queue —
2026-04-07 14:50 UTC· Rule:default - ✅ Checks passed · on draft #701
- ✅ Merged —
2026-04-07 15:25 UTC· at7c5faeadc1aeb4c875d7f0cfe7ef75259d18452b
This pull request spent 35 minutes 30 seconds in the queue, including 32 minutes 59 seconds running CI.
Required conditions to merge
#approved-reviews-by >= 1[🛡 GitHub branch protection]#changes-requested-reviews-by = 0[🛡 GitHub branch protection]-
check-success~=Build & Test - Examples \(.*\) -
check-success~=Build & Test - Nixpkgs - .* - any of [🛡 GitHub branch protection]:
-
check-success = all_ci_tests -
check-neutral = all_ci_tests -
check-skipped = all_ci_tests
-
Loading