Skip to content

DRAFT: Implement PEP 802 and the {/} notation #195301

DRAFT: Implement PEP 802 and the {/} notation

DRAFT: Implement PEP 802 and the {/} notation #195301

Triggered via pull request August 8, 2025 18:49
Status Failure
Total duration 7s
Artifacts

require-pr-label.yml

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

Annotations

1 error and 1 warning
DO-NOT-MERGE
Label error. Requires exactly 0 of: DO-NOT-MERGE. Found: DO-NOT-MERGE
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: DO-NOT-MERGE