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

Add a page to the docs explaining how to get clang-format v14 via Homebrew #237

Merged
merged 1 commit into from
Aug 30, 2023

Conversation

mjs271
Copy link
Contributor

@mjs271 mjs271 commented Aug 29, 2023

Added a cleaned up version of the message I previously sent in slack. I retained the bit about direnv since it could be useful, but not sure if it belongs here and can ditch it if not. Also added bash syntax specifiers to a few code blocks that I noticed while scrolling around.

@mjs271 mjs271 added the documentation Improvements or additions to documentation label Aug 29, 2023
@codecov
Copy link

codecov bot commented Aug 29, 2023

Codecov Report

Merging #237 (93df0e8) into main (667d4d8) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #237   +/-   ##
=======================================
  Coverage   96.58%   96.58%           
=======================================
  Files          30       30           
  Lines        6295     6295           
=======================================
  Hits         6080     6080           
  Misses        215      215           

Copy link
Collaborator

@jeff-cohere jeff-cohere left a comment

Choose a reason for hiding this comment

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

This looks great. Thanks Mike!

Copy link
Contributor

@odiazib odiazib left a comment

Choose a reason for hiding this comment

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

Thanks, Mike!

@mjs271 mjs271 merged commit 4a67273 into main Aug 30, 2023
7 checks passed
@mjs271 mjs271 deleted the mjs/clang-format-docs branch August 30, 2023 03:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants