Skip to content

[ci] Add -x to all CI scripts - #11422

Merged
github-actions[bot] merged 1 commit into
apache:mainfrom
driazati:eux
May 24, 2022
Merged

github-actions[bot] merged 1 commit into
apache:mainfrom
driazati:eux

Conversation

@driazati

@driazati driazati commented May 23, 2022 •

Copy link
Copy Markdown
Member

Fixes #10316

Thanks for contributing to TVM! Please refer to guideline https://tvm.apache.org/docs/contribute/ for useful information and tips. After the pull request is submitted, please request code reviews from Reviewers by @ them in the pull request thread.

cc @Mousius @areusch

@junrushao junrushao left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

LGTM

@github-actions
github-actions Bot requested review from Mousius and areusch May 24, 2022 16:46
@driazati

Copy link
Copy Markdown
Member Author

@tvm-bot merge

@github-actions

Copy link
Copy Markdown
Contributor

Cannot merge, these CI jobs are not successful on a5ae3e2:

@driazati

Copy link
Copy Markdown
Member Author

@tvm-bot merge

@github-actions
github-actions Bot merged commit b141cac into apache:main May 24, 2022
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.

[ci] Add -x to all CI scripts

3 participants