Skip to content

Conversation

olafurpg
Copy link
Contributor

@olafurpg olafurpg commented Jun 9, 2022

Test plan

See the CI go green.

@olafurpg olafurpg requested a review from varungandhi-src June 9, 2022 15:49
Copy link
Contributor Author

@olafurpg olafurpg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It may seem problematic that this repo has a modified copy of the original scip.proto but it's not really an issue IMO. We can fix more stuff later but right I just want to stop generating code to the lib.codeintel.scip package.

@olafurpg olafurpg enabled auto-merge June 9, 2022 15:54
@olafurpg olafurpg force-pushed the olafurpg/scip-package branch from 0365985 to e14f629 Compare June 9, 2022 16:18
@olafurpg olafurpg merged commit f26f08b into main Jun 9, 2022
@varungandhi-src varungandhi-src deleted the olafurpg/scip-package branch June 10, 2022 14:11
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.

2 participants