[Merged by Bors] - chore: delete deprecated modules from February 2026 #29239
Triggered via pull request
August 23, 2026 03:35
Parcly-Taxel
Parcly-Taxel
opened
#43057
Status
Success
Total duration
1m 30s
Artifacts
–
add_label_from_diff.yaml
on: pull_request_target
Add topic label
1m 26s
Annotations
2 notices
|
Add topic label
not adding more than 1 labels: #[t-algebra, t-category-theory, t-combinatorics, t-computability, t-logic]
|
|
Add topic label
Applicable labels: #[t-algebra, t-category-theory, t-combinatorics, t-computability, t-logic]
|