Add sent-path-count leaf#1463
Open
rgwilton wants to merge 2 commits into
Open
Google Cloud Build / public-pr (disco-idea-817)
succeeded
May 26, 2026 in 6m 3s
Summary
Build Information
| Trigger | public-pr |
| Build | e175a574-0876-4d80-b59b-bb9f6521186c |
| Start | 2026-05-26T09:36:48-07:00 |
| Duration | 5m3.428s |
| Status | SUCCESS |
Steps
| Step | Status | Duration |
|---|---|---|
| gcr.io/cloud-builders/gcloud | SUCCESS | 3.369s |
| gcr.io/cloud-builders/git | SUCCESS | 661ms |
| go path creation | SUCCESS | 15.549s |
| models-ci clone | SUCCESS | 1.084s |
| models-ci dep | SUCCESS | 13.868s |
| validator prep | SUCCESS | 5.552s |
| regexp clone | SUCCESS | 1.764s |
| regexp dep | SUCCESS | 13.92s |
| regexp | SUCCESS | 28.587s |
| yanglint prep1 | SUCCESS | 3.611s |
| yanglint prep2 | SUCCESS | 3.496s |
| yanglint | SUCCESS | 35.845s |
| misc-checks | SUCCESS | 24.078s |
| oc-pyang | SUCCESS | 59.709s |
| goyang-ygot | SUCCESS | 1m22.114s |
| pyang | SUCCESS | 3m9.367s |
| pyangbind | SUCCESS | 1m22.114s |
| ygnmi | SUCCESS | 1m16.372s |
| compat-report | SUCCESS | 826ms |
Loading