PEP 13: Add STAR voting and misc tidbits #5877
Triggered via pull request
December 10, 2024 17:17
gvanrossum
Status
Cancelled
Total duration
1m 25s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
4 errors
|
Render PEPs (3.13-dev)
Canceling since a higher priority waiting request for 'Render PEPs-star' exists
|
|
Render PEPs (3.13-dev)
The operation was canceled.
|
|
Render PEPs (3.x)
Canceling since a higher priority waiting request for 'Render PEPs-star' exists
|
|
Render PEPs (3.x)
The operation was canceled.
|