mathlib
b7479c4d - ci(lint-style): adjust output to integrate with github

Commit

5 years ago

ci(lint-style): adjust output to integrate with github

Author

eric-wieser

eric-wieser

Parents

Loading