mathlib
55814dc3 - fix(.github/workflows/add_label): add missing outputs (#2379)

Commit
5 years ago
fix(.github/workflows/add_label): add missing outputs (#2379) I hope this fixes the `add_label` workflow.
Author
Parents
Loading