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

Fix property name as type #45

Merged
merged 6 commits into from
Oct 9, 2023
Merged

Fix property name as type #45

merged 6 commits into from
Oct 9, 2023

Commits on Oct 9, 2023

  1. fix check-diff ci

    mununki committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    a116641 View commit details
    Browse the repository at this point in the history
  2. fix ci

    mununki committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    d5250fd View commit details
    Browse the repository at this point in the history
  3. fix ci for panic

    mununki committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    b1d213b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    29e7152 View commit details
    Browse the repository at this point in the history
  5. changelog

    mununki committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    ca8db2c View commit details
    Browse the repository at this point in the history
  6. fix merge input and interface for property name

    - input, type
    mununki committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    c9d68bf View commit details
    Browse the repository at this point in the history