test: autolabel C #17
add_label_from_diff.yaml
on: pull_request
Add topic label
38s
Annotations
2 errors
Misformatted `AutoLabel.mathlibLabels`:
scripts/autolabel.lean#L1
scripts/autolabel.lean: excluded directory Mathlib/Algebra/NonExistent does not exist! (from label t-algebra)
|
Add topic label
Process completed with exit code 2.
|