gh-130973: Add missing options at doc for pickletools
#155775
picnixzrequire-pr-label.yml
on: pull_request
DO-NOT-MERGE
4s
Unresolved review
3s
Annotations
1 error and 1 warning
|
DO-NOT-MERGE
Label error. Requires exactly 0 of: DO-NOT-MERGE. Found: docs, awaiting core review, skip news, DO-NOT-MERGE
|
|
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: docs, awaiting core review, skip news, DO-NOT-MERGE
|