Pin dependencies #709
Merged
Pin dependencies #709
Mergify / Mergify Merge Queue
succeeded
Apr 22, 2026 in 33m 25s
Merged via merge queue
- ✅ Entered queue —
2026-04-22 07:19 UTC· Rule:default - ✅ Checks passed · on draft #719
- ✅ Merged —
2026-04-22 07:52 UTC· at6f4654003ae656f94bfaf52f01da59866b10ff1e· merge
This pull request spent 33 minutes 23 seconds in the queue, including 33 minutes 1 second 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