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

Consistent naming of bazel targets #217

Merged
merged 2 commits into from
Apr 27, 2020
Merged

Consistent naming of bazel targets #217

merged 2 commits into from
Apr 27, 2020

Conversation

romnn
Copy link
Contributor

@romnn romnn commented Apr 13, 2020

This PR closes #216 .

Changes include:

  • consistent naming of bazel targets

@romnn romnn changed the title #216 Consistent naming of bazel targets Consistent naming of bazel targets Apr 13, 2020
@romnn romnn self-assigned this Apr 13, 2020
@romnn romnn requested a review from grittaweisheit April 14, 2020 09:08
@romnn romnn added block-merge Blocked waiting for other merges and removed ready to review labels Apr 14, 2020
@romnn romnn removed the block-merge Blocked waiting for other merges label Apr 27, 2020
@romnn romnn merged commit b8169f3 into dev Apr 27, 2020
@romnn romnn mentioned this pull request Apr 27, 2020
Merged
@romnn romnn deleted the 216-consistent-bazel-targets branch April 27, 2020 12:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@grittaweisheit grittaweisheit grittaweisheit approved these changes

Assignees

@romnn romnn

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@romnn @grittaweisheit