Skip to content

Conversation

olafurpg
Copy link
Contributor

Test plan

See the CI go green.

@olafurpg olafurpg requested a review from efritz June 10, 2022 15:33
@olafurpg olafurpg enabled auto-merge June 10, 2022 15:33
@olafurpg olafurpg merged commit 41fe317 into main Jun 10, 2022
@olafurpg olafurpg deleted the olafurpg/sbt-sourcegraph branch June 10, 2022 15:54
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