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

Prevent duplicate 'Default' switch cases #155

Merged
merged 2 commits into from
Feb 26, 2024
Merged

Prevent duplicate 'Default' switch cases #155

merged 2 commits into from
Feb 26, 2024

Commits on Feb 26, 2024

  1. Improve handling of 'Default' case in switch providers

    Added check in both FlowSwitchPortProvider and SwitchPortProvider classes to prevent adding a 'Default' case if one already exists. This prevents possible duplicate case errors. Also, applied JetBrains.Annotations and properly listed cases to enhance the readability and performance of the code.
    sfmskywalker committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    9f486d9 View commit details
    Browse the repository at this point in the history
  2. Add 'issue/*' branch to GitHub workflow

    The update allows for automatic running of workflows on branches labeled 'issue/*'. This ensures tests and build processes are executed whenever there is a new push to any 'issue/*' branch, improving our update and bug fix pipeline.
    sfmskywalker committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    2762d49 View commit details
    Browse the repository at this point in the history