fix tests #725
leanprover-community-mathlib4-botadd_label_from_diff.yaml
on: push
Add topic label
1m 12s
Annotations
1 warning and 1 notice
|
Add topic label
no label to add
|
|
Add topic label
Applicable labels: #[]
|