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

Unbox first level of options when serializing JSON #598

Merged
merged 8 commits into from
Jul 11, 2024
Merged

Commits on Jul 5, 2024

  1. tests pass

    lihaoyi committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    2a6ee6d View commit details
    Browse the repository at this point in the history
  2. .

    lihaoyi committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    8995e63 View commit details
    Browse the repository at this point in the history
  3. add example test

    lihaoyi committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    226fe34 View commit details
    Browse the repository at this point in the history
  4. .

    lihaoyi committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    afdd400 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2024

  1. .

    lihaoyi committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    3df91b2 View commit details
    Browse the repository at this point in the history
  2. .

    lihaoyi committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    83df359 View commit details
    Browse the repository at this point in the history
  3. .

    lihaoyi committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    0e4c063 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    9691dc8 View commit details
    Browse the repository at this point in the history