Skip to content

Conversation

@lhutton1
Copy link
Contributor

Fixes CI after #10077, and replaces misuse elsewhere.

cc @u99127 @AndrewZhaoLuo

@u99127
Copy link

u99127 commented Jan 27, 2022

Sorry about this - didn't realise there was a typo in there and not sure why CI didn't pick it up.

Fixes CI after apache#10077, and replaces misuse elsewhere.

Change-Id: I095fc8ea2b8d268b09538832cba1f5482a73a9d9
@Mousius Mousius self-assigned this Jan 27, 2022
@driazati
Copy link
Member

driazati commented Jan 27, 2022

@u99127 CI skipped this check in the PR (see https://ci.tlcpack.ai/blue/organizations/jenkins/tvm/detail/PR-10077/1/pipeline), #9971 re-arranges things so that won't happen anymore

@junrushao junrushao merged commit fa317ed into apache:main Jan 27, 2022
@lhutton1 lhutton1 deleted the fix-docs-build branch January 27, 2022 20:02
sunggg pushed a commit to sunggg/tvm that referenced this pull request Jan 29, 2022
…#10083)

Fixes CI after apache#10077, and replaces misuse elsewhere.

Change-Id: I095fc8ea2b8d268b09538832cba1f5482a73a9d9
ylc pushed a commit to ylc/tvm that referenced this pull request Feb 16, 2022
…#10083)

Fixes CI after apache#10077, and replaces misuse elsewhere.

Change-Id: I095fc8ea2b8d268b09538832cba1f5482a73a9d9
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.

6 participants