docs/user-guide: add lazy-loading.md #2630
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Dec 14, 2024 in 0s
The pull request embarked with main (6a192a8) 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-build
Check-runs and statuses of the embarked pull request #2630:
buildbot/nix-build Build done. | details | ||
buildbot/nix-eval Build done. | details |
Loading