Skip to content

doc(CONTRIBUTING): Fix typos in CONTRIBUTING.md #742

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
chenson2018 merged 1 commit into from
Jul 22, 2026
Merged

doc(CONTRIBUTING): Fix typos in CONTRIBUTING.md #742

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions CONTRIBUTING.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -101,7 +101,7 @@ instructions on how to run these locally.

## Pull Request Titles

It is required that pull request titles begun with one of the following categories followed by a
It is required that pull request titles begin with one of the following categories followed by a
colon: `feat`, `fix`, `doc`, `style`, `refactor`, `test`, `chore`, `perf`. These may optionally be followed by a
parenthetical containing what area of the library the PR is working on.

Expand All @@ -125,7 +125,7 @@ CSLib uses a number of linters, mostly inherited from Batteries and Mathlib. The

## Imports

There is a also a test that [Cslib.lean](/Cslib.lean) imports all files. You can ensure this by
There is also a test that [Cslib.lean](/Cslib.lean) imports all files. You can ensure this by
running `lake exe mk_all` locally, which will make the required changes.

CSLib tests for minimized imports using `lake shake --add-public --keep-implied --keep-prefix`, which also comes with a `--fix` option.
Expand Down
Loading