Skip to content

Migrate sourcegraph/scip dependency to scip-code/scip#1281

Merged
jupblb merged 1 commit intomainfrom
migrate-scip-dependency
Mar 30, 2026
Merged

Migrate sourcegraph/scip dependency to scip-code/scip#1281
jupblb merged 1 commit intomainfrom
migrate-scip-dependency

Conversation

@jupblb
Copy link
Copy Markdown
Member

@jupblb jupblb commented Mar 30, 2026

Test plan

N/A

@jupblb jupblb enabled auto-merge (squash) March 30, 2026 11:40
@jupblb jupblb requested a review from a team March 30, 2026 12:05
@jupblb jupblb merged commit 955cc24 into main Mar 30, 2026
9 checks passed
@jupblb jupblb deleted the migrate-scip-dependency branch March 30, 2026 12:07
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