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

Remove JSR305 nullness annotations #3268

Merged
merged 2 commits into from
Mar 1, 2024
Merged

Remove JSR305 nullness annotations #3268

merged 2 commits into from
Mar 1, 2024

Conversation

kwin
Copy link
Contributor

@kwin kwin commented Feb 23, 2024

Migrate to Jetbrains annotations
This closes #3267

@kwin kwin requested a review from davidjgonzalez February 23, 2024 20:21
@kwin kwin force-pushed the bugfix/remove-jsr305 branch from 1db56c7 to 8448386 Compare February 23, 2024 20:24
Copy link

codecov bot commented Feb 23, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 55.45%. Comparing base (11a97fe) to head (c762bf5).
Report is 1 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff            @@
##             master    #3268   +/-   ##
=========================================
  Coverage     55.45%   55.45%           
  Complexity     5506     5506           
=========================================
  Files           721      721           
  Lines         29534    29534           
  Branches       3840     3840           
=========================================
  Hits          16378    16378           
  Misses        11630    11630           
  Partials       1526     1526           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Migrate to Jetbrains annotations
This closes #3267
@kwin kwin force-pushed the bugfix/remove-jsr305 branch from 8448386 to 9e0aa7c Compare February 24, 2024 18:57
@kwin kwin merged commit 3e3d5e4 into master Mar 1, 2024
20 checks passed
@kwin kwin deleted the bugfix/remove-jsr305 branch March 1, 2024 19:16
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.

Remove JSR305 dependency
1 participant