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.

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

SSA/Projects/InstCombine/Test.lean - fix and build #334

Closed
tobiasgrosser opened this issue May 23, 2024 · 2 comments · Fixed by #336
Closed

SSA/Projects/InstCombine/Test.lean - fix and build #334

tobiasgrosser opened this issue May 23, 2024 · 2 comments · Fixed by #336
Labels
camera-ready-ltp

Comments

@tobiasgrosser
Copy link
Collaborator

This file is currently broken and requires fixing and being added to the build system.
@bollu
Copy link
Collaborator

bollu commented May 23, 2024

@tobiasgrosser could you push the change that fixed this file that we paired on today?

@tobiasgrosser tobiasgrosser mentioned this issue May 23, 2024
Merged
github-merge-queue bot pushed a commit that referenced this issue May 23, 2024
@tobiasgrosser
chore: fix tests (#336)
7c87463 
This fixed #334.
@bollu
Copy link
Collaborator

bollu commented May 23, 2024

Closed by #336

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
camera-ready-ltp
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

chore: fix tests opencompl/lean-mlir
2 participants
@tobiasgrosser @bollu