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

eif: fix name collision in same folder for exes and melange emits #10220

Merged
merged 24 commits into from
Mar 13, 2024
Merged

eif: fix name collision in same folder for exes and melange emits #10220

merged 24 commits into from
Mar 13, 2024

Commits on Mar 5, 2024

  1. eif: error on dups in ml_sources if both are enabled 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    286a3c0 View commit details
    Browse the repository at this point in the history

  2. eif: not add modules in disabled libs 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    9216dad View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. eif: use Toggle.t instead of a custom type 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    e02387a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into improve-ml-sources-same-folder-collision 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    3524130 View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2024

  1. Merge branch 'main' into improve-ml-sources-same-folder-collision 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    bd7b0f9 View commit details
    Browse the repository at this point in the history

  2. simplify implementation 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    bdbdeff View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2024

  1. fix melange emit case 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    50acad1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into improve-ml-sources-same-folder-collision 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    50d5bee View commit details
    Browse the repository at this point in the history

  3. add explanatory comment for usage of enabled in melange_rules 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    5189cc4 View commit details
    Browse the repository at this point in the history

  4. update tests 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    673ed9a View commit details
    Browse the repository at this point in the history

  5. remove unnecessary changes in setup_emit_js_rules 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    ca2909c View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2024

  1. code review suggested changes 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    2c98f8f View commit details
    Browse the repository at this point in the history

  2. update src/dune_rules/ml_sources.ml 

    Co-authored-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri @anmonteiro
    jchavarri and anmonteiro committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    ecbad4f View commit details
    Browse the repository at this point in the history

  3. fmt 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    ef6c146 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into improve-ml-sources-same-folder-collision 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    74bca3f View commit details
    Browse the repository at this point in the history

  5. fix change in enabled_if behavior for test stanzas 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    050aed8 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into improve-ml-sources-same-folder-collision 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    623ada2 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2024

  1. Merge branch 'main' into improve-ml-sources-same-folder-collision 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    16471fe View commit details
    Browse the repository at this point in the history

  2. _ 

    Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
    @rgrinberg
    rgrinberg committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    20e02e3 View commit details
    Browse the repository at this point in the history

  3. _ 

    Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
    @rgrinberg
    rgrinberg committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    1f17f12 View commit details
    Browse the repository at this point in the history

  4. _ 

    Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
    @rgrinberg
    rgrinberg committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    e2b665f View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. Merge branch 'main' into improve-ml-sources-same-folder-collision 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    a07ee5f View commit details
    Browse the repository at this point in the history

  2. update tests 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    b22ae6f View commit details
    Browse the repository at this point in the history

  3. + changelog 

    Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
    @jchavarri
    jchavarri committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    ebfe399 View commit details
    Browse the repository at this point in the history