Skip to content
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.

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

docs: fix homepage example indentation #172

Merged
merged 4 commits into from
Dec 25, 2023
Merged

Conversation

HoloTheDrunk
Copy link
Contributor

Sorry about the microscopic PR but this has been bugging me for days

Copy link
Contributor

@jedbrown jedbrown left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks. How would you feel about making this a more systemic fix? See the github lint.yaml and change it to use

cargo fmt --all -- --config format_code_in_doc_comments=true --check

That should be fine since it always uses the nightly toolchain. We can"t add it to .rustfmt.toml because it"ll break ability to cargo fmt with a stable toolchain (until rust-lang/rustfmt#3348 stabilizes).

@HoloTheDrunk
Copy link
Contributor Author

Added, sorry for the unreasonable delay - things got busy.

@jedbrown jedbrown enabled auto-merge (squash) December 25, 2023 01:35
@jedbrown jedbrown merged commit 7ece090 into rsmpi:main Dec 25, 2023
7 checks passed
@jedbrown
Copy link
Contributor

I fixed some things up (applying the changes and some other CI volatility fixes from main) and merged. Thanks for your contribution.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants