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 56 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
@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.

@Ao-senXiong Ao-senXiong requested a review from wmdietl September 30, 2024 21:24
@Ao-senXiong
Copy link
Author

The agent just timed out here.

@Ao-senXiong Ao-senXiong assigned wmdietl and unassigned Ao-senXiong Sep 30, 2024
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