Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

[skip ci] Merge CI Scripts #75

Merged
merged 14 commits into from
Jan 7, 2020
Merged

[skip ci] Merge CI Scripts #75

merged 14 commits into from
Jan 7, 2020

Conversation

avolkov1
Copy link
Contributor

Sync up develop with master to merge in CI scripts from master branch.

@avolkov1 avolkov1 changed the title Merge CI Scripts [skip ci] Merge CI Scripts Dec 17, 2019
@avolkov1 avolkov1 assigned avolkov1 and unassigned avolkov1 Dec 17, 2019
@avolkov1 avolkov1 requested a review from yidong72 December 17, 2019 20:18
Copy link
Collaborator

@yidong72 yidong72 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

merge for now

@yidong72 yidong72 merged commit 569dc1d into develop Jan 7, 2020
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants