Skip to content

fix: don't upload SCIP index to dotcom#352

Merged
jupblb merged 1 commit intomainfrom
michal/dotcom
Oct 3, 2025
Merged

fix: don't upload SCIP index to dotcom#352
jupblb merged 1 commit intomainfrom
michal/dotcom

Conversation

@jupblb
Copy link
Copy Markdown
Member

@jupblb jupblb commented Oct 3, 2025

Description

The repo is not listed in https://sourcegraph.com/search.


Checklist

Test plan

N/A

@jupblb jupblb requested a review from varungandhi-src October 3, 2025 09:31
@jupblb jupblb self-assigned this Oct 3, 2025
@jupblb jupblb added the bug Something isn't working label Oct 3, 2025
@jupblb jupblb enabled auto-merge (squash) October 3, 2025 20:40
@jupblb jupblb merged commit 56805d8 into main Oct 3, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants