Skip to content

Migrate from Checker Framework to JSpecify #9782

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.

Sign up for GitHub

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

Jump to bottom
Merged
joschi merged 1 commit into from
Jan 15, 2025
Merged

Migrate from Checker Framework to JSpecify #9782

joschi merged 1 commit into from
Jan 15, 2025

Conversation

@joschi
Copy link
Member

@joschi joschi commented Jan 15, 2025

@joschi joschi self-assigned this Jan 15, 2025
@joschi joschi requested a review from a team as a code owner January 15, 2025 21:20
@joschi joschi enabled auto-merge (squash) January 15, 2025 21:20
@github-actions github-actions bot added this to the 5.0.0 milestone Jan 15, 2025
@sonarqubecloud
Copy link

sonarqubecloud bot commented Jan 15, 2025

Quality Gate Failed Quality Gate failed

Failed conditions
C Reliability Rating on New Code (required ≥ A)

See analysis details on SonarQube Cloud

Catch issues before they fail your Quality Gate with our IDE extension SonarQube for IDE

@joschi joschi merged commit 4096ed2 into release/5.0.x Jan 15, 2025
12 of 13 checks passed
@joschi joschi deleted the jspecify branch January 15, 2025 21:31
@joschi joschi mentioned this pull request Aug 31, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@joschi joschi

Labels

None yet

Projects

None yet

Milestone

5.0.0

Development

Successfully merging this pull request may close these issues.

2 participants

@joschi