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.

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

Jump to bottom

Ocaml-format the codebase #1586

Closed
wants to merge 8 commits into from
Closed

Ocaml-format the codebase #1586

wants to merge 8 commits into from

Commits on Mar 27, 2023

  1. Add ocamlformat config

    @voodoos
    voodoos committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    d05d76c View commit details
    Browse the repository at this point in the history

  2. Tweak ocamlformat options

    @voodoos
    voodoos committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    e5ad255 View commit details
    Browse the repository at this point in the history

  3. Format the codebase

    @voodoos
    voodoos committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    713757f View commit details
    Browse the repository at this point in the history

  4. Use --cases-exp-indent=2

    @voodoos
    voodoos committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    3b49444 View commit details
    Browse the repository at this point in the history

  5. Reformat with --cases-exp-indent=2

    @voodoos
    voodoos committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    0d11afd View commit details
    Browse the repository at this point in the history

  6. Fix typo in .ocamlformat

    @voodoos
    voodoos committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    c58bb24 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2023

  1. Add CI check for formatting

    @voodoos
    voodoos committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    08eb81b View commit details
    Browse the repository at this point in the history

  2. wip: fix fmt ci

    @voodoos
    voodoos committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    6d0468d View commit details
    Browse the repository at this point in the history