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

Auto format dune-project files with dune fmt #10716

Open
wants to merge 11 commits into
base: main
Choose a base branch
from
Open

Auto format dune-project files with dune fmt #10716

wants to merge 11 commits into from
+224 −129

Commits on Jul 10, 2024

  1. doc: fix typo 

    Signed-off-by: Max Große <max12.gro@gmail.com>
    @maxRN
    maxRN committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    087ea7e View commit details
    Browse the repository at this point in the history

  2. feat(fmt): auto format dune-project files 

    Signed-off-by: Max Große <max12.gro@gmail.com>
    @maxRN
    maxRN committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    015b715 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2024

  1. feat: enable dune-project formatting for dune <= 3.17 

    Signed-off-by: Max Große <max12.gro@gmail.com>
    @maxRN
    maxRN committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    d060db8 View commit details
    Browse the repository at this point in the history

  2. fix: typo in example 

    Signed-off-by: Max Große <max12.gro@gmail.com>
    @maxRN
    maxRN committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    c47472e View commit details
    Browse the repository at this point in the history

  3. fix: don't hardcode build dir 

    Signed-off-by: Max Große <max12.gro@gmail.com>
    @maxRN
    maxRN committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    8215838 View commit details
    Browse the repository at this point in the history

  4. doc: update formatting docs 

    Signed-off-by: Max Große <max12.gro@gmail.com>
    @maxRN
    maxRN committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    bc18985 View commit details
    Browse the repository at this point in the history

  5. test: test disabled dune-project formatting 

    Signed-off-by: Max Große <max12.gro@gmail.com>
    @maxRN
    maxRN committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    d968084 View commit details
    Browse the repository at this point in the history

  6. fix: handle empty field case pre-3.17 

    Signed-off-by: Max Große <max12.gro@gmail.com>
    @maxRN
    maxRN committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    f3d2de2 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2024

  1. fix: add new dune 2.0 variant 

    Signed-off-by: Max Große <max12.gro@gmail.com>
    @maxRN
    maxRN committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    a8f0ede View commit details
    Browse the repository at this point in the history

  2. rename: DuneProject -> Dune_project 

    Signed-off-by: Max Große <max12.gro@gmail.com>
    @maxRN
    maxRN committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    e773978 View commit details
    Browse the repository at this point in the history

  3. test!: format dune-project with format-dune-file 

    Signed-off-by: Max Große <max12.gro@gmail.com>
    @maxRN
    maxRN committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    befce10 View commit details
    Browse the repository at this point in the history