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

Update to EISOP 3.42-eisop4 from 3.42-eisop3 #269

Open
wants to merge 54 commits into
base: master
Choose a base branch
from

Conversation

Ao-senXiong
Copy link

wmdietl and others added 30 commits March 1, 2024 19:59
renovate bot and others added 23 commits June 5, 2024 18:05
…e, AnnotatedTypeMirror, boolean)` (typetools#796)

Co-authored-by: Haifeng Shi <[email protected]>
Co-authored-by: Werner Dietl <[email protected]>
@Ao-senXiong
Copy link
Author

This 2b467a9 is related to universe type system. It should be fixed in eisop#791 but we need the code change to avoid ci failing in universe type system.

@wmdietl
Copy link
Member

wmdietl commented Aug 30, 2024

@Ao-senXiong CI for opprop/checker-framework-inference#451 is failing.
Is 2b467a9 not doing what you expected?

@Ao-senXiong
Copy link
Author

@Ao-senXiong CI for opprop/checker-framework-inference#451 is failing. Is 2b467a9 not doing what you expected?

I have not figured out what is the problem exactly. I will looking into it.

@Ao-senXiong
Copy link
Author

The commits are linked to typetool commits, which are wrong.

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.

5 participants