Skip to content

Conversation

@ryanjbaxter
Copy link
Contributor

No description provided.

@spencergibb
Copy link
Member

Wow

@ryanjbaxter ryanjbaxter force-pushed the nullability-changes-with-maven-profile-enabled branch from d376e0c to bc50f2e Compare November 20, 2025 20:06
More nullaway changes

Fix

mroe changes

More changes

Null changes

More null changes

Next commit

Next batch
@ryanjbaxter ryanjbaxter force-pushed the nullability-changes-with-maven-profile-enabled branch from bc50f2e to 7e9825d Compare November 21, 2025 03:24
@github-project-automation github-project-automation bot moved this to Todo in 2025.1.0 Nov 21, 2025
@ryanjbaxter ryanjbaxter added this to the 5.0.0 milestone Nov 21, 2025
@ryanjbaxter ryanjbaxter marked this pull request as ready for review November 21, 2025 20:25
@ryanjbaxter ryanjbaxter merged commit 8894f36 into main Nov 21, 2025
3 checks passed
@github-project-automation github-project-automation bot moved this from Todo to Done in 2025.1.0 Nov 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

No open projects
Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants