mathlib3
a9124551 - fix(bors.toml, build.yml): check for new linter, rename linter to "Lint style" (#4539)

Commit

5 years ago

fix(bors.toml, build.yml): check for new linter, rename linter to "Lint style" (#4539) Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>

References

Author

gebner

Parents