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

chore(sumo): Enable compatibility with SUMO version 1.18.0 #329

Merged
merged 4 commits into from
Jul 11, 2023

Conversation

schwepmo
Copy link
Contributor

@schwepmo schwepmo commented Jul 10, 2023

Description

  • This PR enables compatibility with SUMO version 1.18.0 and bumps version numbers at all relevant places

What is this PR about?

Issue(s) related to this PR

  • Resolves internal issue 623

Affected parts of the online documentation

  • will have to be adjusted with next release

Definition of Done

Prerequisites

  • You have read CONTRIBUTING.md carefully.
  • You have signed the Contributor License Agreement.
  • Your GitHub user id is linked with your Eclipse Account.

Required

  • The title of this merge request follows the scheme type(scope): description (in the style of Conventional Commits)
  • You have assigned a suitable label to this pull request (e.g., enhancement, or bugfix)
  • origin/main has been merged into your Fork.
  • Coding guidelines have been followed (see CONTRIBUTING.md).
  • All checks on GitHub pass.
  • All tests on Jenkins pass.

Requested (can be enforced by maintainers)

  • New functionality is covered by unit tests or integration tests. Code coverage must not decrease.
  • If a bug has been fixed, a new unit test has been written (beforehand) to prove misbehavior
  • There are no new SpotBugs warnings.

Special notes to reviewer

@schwepmo schwepmo added the chore Pull request that resolve around a chore label Jul 10, 2023
@schwepmo schwepmo requested a review from kschrab July 10, 2023 08:56
@kschrab kschrab merged commit 8a51dff into main Jul 11, 2023
1 check passed
@kschrab kschrab deleted the 623-sumo-1-18-0 branch July 11, 2023 08:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Pull request that resolve around a chore
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants