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

Fix map assign issue in CI test #5854

Merged
merged 1 commit into from Jun 19, 2020
Merged

Fix map assign issue in CI test #5854

merged 1 commit into from Jun 19, 2020

Conversation

tqchen
Copy link
Member

@tqchen tqchen commented Jun 19, 2020

Fix for a minor issue due to concurrent merge of #5601 and #5740

@tqchen
Copy link
Member Author

tqchen commented Jun 19, 2020

cc @junrushao1994 @tmoreau89 @zhiics @jroesch

@junrushao
Copy link
Member

@tqchen CI is green. Let's get it merged quickly to unblock the mainline.

@zhiics zhiics merged commit aaed048 into apache:master Jun 19, 2020
trevor-m pushed a commit to trevor-m/tvm that referenced this pull request Jun 30, 2020
@tqchen
Fix map assign issue in CI test (apache#5854)
cefc003
zhiics pushed a commit to neo-ai/tvm that referenced this pull request Jul 2, 2020
@tqchen @zhiics
Fix map assign issue in CI test (apache#5854)
2684024
@ZihengJiang ZihengJiang mentioned this pull request Sep 25, 2020
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@zhiics zhiics zhiics approved these changes

@junrushao junrushao junrushao approved these changes

Assignees
No one assigned
Labels
status: accepted
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@tqchen @junrushao @zhiics