Skip to content

gh-129892: Doc: Remove unnecessary role directive in graphlib.py #148981

gh-129892: Doc: Remove unnecessary role directive in graphlib.py

gh-129892: Doc: Remove unnecessary role directive in graphlib.py #148981

Triggered via pull request February 9, 2025 15:23
Status Success
Total duration 14s
Artifacts

require-pr-label.yml

on: pull_request
DO-NOT-MERGE
2s
DO-NOT-MERGE
Unresolved review
5s
Unresolved review
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: skip news