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: update webvisualizer tooling #415

Merged
merged 6 commits into from
Sep 24, 2024

Conversation

hoelger
Copy link
Contributor

@hoelger hoelger commented Sep 24, 2024

Description

When working with the web-visualizer and npm, some adaptations in maven / gitignore files were done. Also the package-lock was updated to a new version.

Issue(s) related to this PR

  • Addresses internal issue 893

Affected parts of the online documentation

no

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

@hoelger hoelger changed the title 893 update webvisualizer tooling chore: update webvisualizer tooling Sep 24, 2024
@kschrab kschrab merged commit 1f6f90a into eclipse:main Sep 24, 2024
3 checks passed
@hoelger hoelger deleted the 893-update-webvisualizer-tooling branch September 25, 2024 14:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants