Importing manim kills Python extension #2174
Triggered via issue
December 12, 2025 18:36
eleanorjboyd
Status
Success
Total duration
13s
Artifacts
–
remove-needs-labels.yml
on: issues
Remove needs labels on issue closing
6s
Annotations
1 error and 4 warnings
|
Remove needs labels on issue closing
Error: failed to remove labels: needs PR,needs spike,needs community feedback,needs proposal
|
|
Remove needs labels on issue closing
failed to remove label: needs proposal: HttpError: Label does not exist
|
|
Remove needs labels on issue closing
failed to remove label: needs community feedback: HttpError: Label does not exist
|
|
Remove needs labels on issue closing
failed to remove label: needs spike: HttpError: Label does not exist
|
|
Remove needs labels on issue closing
failed to remove label: needs PR: HttpError: Label does not exist
|