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

feat(sumo): support for sumo 1.19.0 #365

Merged
merged 6 commits into from
Nov 16, 2023
Merged

feat(sumo): support for sumo 1.19.0 #365

merged 6 commits into from
Nov 16, 2023

Conversation

kschrab
Copy link
Contributor

@kschrab kschrab commented Nov 9, 2023

Description

  • Adds support for SUMO 1.19.0
  • TraCI API version has been raised. No technical changes required, except adding API_21 enum value.

Issue(s) related to this PR

  • Resolves internal issue 723

Affected parts of the online documentation

Changes in the documentation required?

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

@kschrab kschrab added chore Pull request that resolve around a chore enhancement New feature or request and removed chore Pull request that resolve around a chore labels Nov 9, 2023
@kschrab kschrab requested a review from schwepmo November 9, 2023 08:27
@schwepmo schwepmo merged commit a4f6c8f into main Nov 16, 2023
3 checks passed
@schwepmo schwepmo deleted the 723-sumo-1-19-0 branch November 16, 2023 11:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants