Skip to content

Group upgrade and remove useless spotbugs annotation#852

Merged
gounthar merged 1 commit into
jenkins-infra:mainfrom
jonesbusy:feature/group-upgrade
Mar 6, 2025
Merged

Group upgrade and remove useless spotbugs annotation#852
gounthar merged 1 commit into
jenkins-infra:mainfrom
jonesbusy:feature/group-upgrade

Conversation

@jonesbusy
Copy link
Copy Markdown
Collaborator

Group upgrade and remove useless spotbugs annotation

Testing done

CI

Submitter checklist

  • Make sure you are opening from a topic/feature/bugfix branch (right side) and not your main branch!
  • Ensure that the pull request title represents the desired changelog entry
  • Please describe what you did
  • Link to relevant issues in GitHub or Jira
  • Link to relevant pull requests, esp. upstream and downstream changes
  • Ensure you have provided tests - that demonstrates feature works or fixes the issue

@jonesbusy jonesbusy added dependencies Pull requests that update a dependency file chore labels Mar 6, 2025
@gounthar gounthar enabled auto-merge (squash) March 6, 2025 14:12
@gounthar gounthar merged commit 8d5d6a2 into jenkins-infra:main Mar 6, 2025
@jonesbusy jonesbusy deleted the feature/group-upgrade branch March 6, 2025 14:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants