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.

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

conprof: disable continuous profiling by default #159

Merged
merged 2 commits into from
Aug 25, 2022

Conversation

mornyx
Copy link
Collaborator

@mornyx mornyx commented Aug 25, 2022

Issue Number: ref #160

Signed-off-by: mornyx mornyx.z@gmail.com

Signed-off-by: mornyx <mornyx.z@gmail.com>
@ti-chi-bot
Copy link
Member

ti-chi-bot commented Aug 25, 2022

[REVIEW NOTIFICATION]

This pull request has been approved by:

  • zhongzc

To complete the pull request process, please ask the reviewers in the list to review by filling /cc @reviewer in the comment.
After your PR has acquired the required number of LGTMs, you can assign this pull request to the committer in the list by filling /assign @committer in the comment to help you merge this pull request.

The full list of commands accepted by this bot can be found here.

Reviewer can indicate their review by submitting an approval review.
Reviewer can cancel approval by submitting a request changes review.

Signed-off-by: mornyx <mornyx.z@gmail.com>
@mornyx mornyx changed the title Disable continuous profiling by default conprof: disable continuous profiling by default Aug 25, 2022
@zhongzc
Copy link
Contributor

zhongzc commented Aug 25, 2022

/pick 6.1

@zhongzc
Copy link
Contributor

zhongzc commented Aug 25, 2022

/cherry-pick release-6.1

@ti-chi-bot
Copy link
Member

@zhongzc: once the present PR merges, I will cherry-pick it on top of release-6.1 in the new PR and assign it to you.

In response to this:

/cherry-pick release-6.1

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the ti-community-infra/tichi repository.

@zhongzc
Copy link
Contributor

zhongzc commented Aug 25, 2022

/cherry-pick release-6.2

@ti-chi-bot
Copy link
Member

@zhongzc: once the present PR merges, I will cherry-pick it on top of release-6.2 in the new PR and assign it to you.

In response to this:

/cherry-pick release-6.2

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the ti-community-infra/tichi repository.

@zhongzc
Copy link
Contributor

zhongzc commented Aug 25, 2022

/merge

@ti-chi-bot
Copy link
Member

This pull request has been accepted and is ready to merge.

Commit hash: 46fe502

@ti-chi-bot
Copy link
Member

@zhongzc: new pull request created: #161.

In response to this:

/cherry-pick release-6.1

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the ti-community-infra/tichi repository.

@ti-chi-bot
Copy link
Member

@zhongzc: new pull request created: #162.

In response to this:

/cherry-pick release-6.2

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the ti-community-infra/tichi repository.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants