Skip to content

Conversation

@Borda
Copy link
Collaborator

@Borda Borda commented Oct 9, 2020

What does this PR do?

try to reinstall Horovod
remove two comments forgotten. from #4022

PR review

Anyone in the community is free to review the PR once the tests have passed.
If we didn't discuss your PR in Github issues there's a high chance it will not be merged.

Did you have fun?

Make sure you had fun coding 🙃

@Borda Borda added the ci Continuous Integration label Oct 9, 2020
@Borda Borda added bug Something isn't working priority: 0 High priority task labels Oct 10, 2020
@Borda Borda requested a review from williamFalcon October 10, 2020 00:16
@williamFalcon williamFalcon marked this pull request as ready for review October 10, 2020 00:46
@williamFalcon williamFalcon merged commit e423796 into master Oct 10, 2020
@mergify mergify bot requested a review from a team October 10, 2020 00:47
@Borda Borda deleted the ci/hotfix-Drone-horovod branch October 10, 2020 07:13
@Borda Borda added the refactor label Oct 13, 2020
@Borda Borda added this to the 1.0 milestone Oct 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working ci Continuous Integration priority: 0 High priority task refactor

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants