lib/types: merge into extendedLib
#1978
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Aug 21, 2024 in 0s
The pull request embarked with main (38b09c1) will be merged soon
Required conditions for merge:
#approved-reviews-by>=1
[🛡 GitHub branch protection]#changes-requested-reviews-by=0
[🛡 GitHub branch protection]-
check-success = buildbot/nix-eval
- all of [📃 From pull request rule queue]:
-draft
[📌 queue requirement]- any of [📌 queue -> configuration change requirements]:
-mergify-configuration-changed
-
check-success=Configuration changed
- any of [🔀 queue conditions]:
Check-runs and statuses of the embarked pull request #1978:
buildbot/nix-build-combined Build done. | details | ||
buildbot/nix-eval Build done. | details |
Loading