infra: ci naming (#16890)
Make it clearer how to run equivalent commands locally Not a perfect 1:1, but will help people get started 
E
Erick Friis committed
5b3fc86cfd67b02a32151f8898d76fd98e7fa142
Parent: c5b01ac
Committed by GitHub <noreply@github.com>
on 2/1/2024, 7:09:37 PM