infra: Fix updated path for infra repo
All checks were successful
Build the docs / docs-build (pull_request) Successful in 44s
infra: add machine naming convention docs
All checks were successful
Build the docs / docs-build (pull_request) Successful in 10s