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

Update to EISOP 3.39-eisop1 from 3.34-eisop1 #256

Merged

wmdietl merged 192 commits into opprop:master from Ao-senXiong:checker-framework-3.39.0-eisop1

Apr 7, 2024

Merged

Update to EISOP 3.39-eisop1 from 3.34-eisop1 #256

Adapt eisop to opprop change

Azure Pipelines / opprop.checker-framework (plume_lib_jdk17) succeeded Apr 2, 2024 in 15m 0s

plume_lib_jdk17 succeeded

0 errors / 0 warnings

View more details on Azure Pipelines