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 mdformat to precommit checks and update other version #7529

Merged
merged 10 commits into from
Apr 22, 2022

Commits on Apr 22, 2022

  1. Configuration menu
    Copy the full SHA
    4a7918b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d941561 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    7705875 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    21718d5 View commit details
    Browse the repository at this point in the history
  5. Update CONTRIBUTING.md

    glenn-jocher committed Apr 22, 2022
    Configuration menu
    Copy the full SHA
    6f2604c View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    ba5ddbc View commit details
    Browse the repository at this point in the history
  7. Update README.md

    glenn-jocher committed Apr 22, 2022
    Configuration menu
    Copy the full SHA
    61a4750 View commit details
    Browse the repository at this point in the history
  8. Update README.md

    glenn-jocher committed Apr 22, 2022
    Configuration menu
    Copy the full SHA
    3b08436 View commit details
    Browse the repository at this point in the history
  9. Update README.md

    glenn-jocher committed Apr 22, 2022
    Configuration menu
    Copy the full SHA
    96ad881 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    34ef1fa View commit details
    Browse the repository at this point in the history