modify test #23
joneugsteradd_label_from_diff.yaml
on: push
Add topic label
42s
Annotations
2 errors
|
Misformatted `AutoLabel.mathlibLabels`:
scripts/autolabel.lean#L1
scripts/autolabel.lean: directory 'Mathlib/Algebra/NonExistent' does not exist but is excluded by label 't-algebra'. Please update `AutoLabel.mathlibLabels`!
|
|
Add topic label
Process completed with exit code 2.
|