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

Migration towards pureconfig #900

Draft
wants to merge 13 commits into
base: dev
Choose a base branch
from
Draft

Migration towards pureconfig #900

wants to merge 13 commits into from

Commits on Sep 8, 2023

  1. Configuration menu
    Copy the full SHA
    0a7d398 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2023

  1. Adjust to new config scheme

    t-ober committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    a1af9d8 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Various config adaptations

    t-ober committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    7e97ca5 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2024

  1. fmt

    Signed-off-by: Sebastian Peter <[email protected]>
    sebastian-peter committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    2e5641f View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. Merging dev

    marvinheintze committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    ecd7f8a View commit details
    Browse the repository at this point in the history
  2. Spotless changes

    marvinheintze committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    033a844 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2024

  1. Configuration menu
    Copy the full SHA
    5f8b376 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    6a6e5af View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2024

  1. Configuration menu
    Copy the full SHA
    0715218 View commit details
    Browse the repository at this point in the history
  2. spotless

    marvinheintze committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    425ca6d View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2024

  1. new merge conflicts

    marvinheintze committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    fb2e605 View commit details
    Browse the repository at this point in the history
  2. spotless

    marvinheintze committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    7ebab47 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    8610d88 View commit details
    Browse the repository at this point in the history