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

Add labels to each Jenkins step #9556

Merged
merged 4 commits into from
Nov 25, 2021
Merged

Conversation

driazati
Copy link
Member

@driazati driazati commented Nov 23, 2021

This uses the optional label argument on shell scripts in Jenkins to assign each one in CI a human-friendly name. This should help make it more clear what is going on in CI without having to dig into individual commands.

Tested in the test Jenkins here.

@areusch

@driazati driazati force-pushed the driazati/jenkins_names branch from f323b8f to 2748c78 Compare November 23, 2021 17:36
@driazati driazati force-pushed the driazati/jenkins_names branch from 2748c78 to 4591f57 Compare November 23, 2021 17:36
@driazati driazati marked this pull request as ready for review November 23, 2021 17:37
@driazati driazati requested a review from a team as a code owner November 23, 2021 17:37
Jenkinsfile Outdated Show resolved Hide resolved
Jenkinsfile Outdated Show resolved Hide resolved
Jenkinsfile Outdated Show resolved Hide resolved
@Mousius
Copy link
Member

Mousius commented Nov 23, 2021

Thanks for the simple quality of life improvement here @driazati, just have a few questions but in general I think this can only improve things 😸

@driazati driazati requested a review from Mousius November 24, 2021 19:11
Copy link
Member

@Mousius Mousius left a comment

Choose a reason for hiding this comment

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

LGTM!

@Mousius Mousius merged commit f833b4b into apache:main Nov 25, 2021
@Mousius
Copy link
Member

Mousius commented Nov 25, 2021

Thanks @driazati, this improvement has landed 😸

dchauhan-arm pushed a commit to dchauhan-arm/tvm that referenced this pull request Nov 29, 2021

Co-authored-by: driazati <driazati@users.noreply.github.com>
mehrdadh pushed a commit to mehrdadh/tvm that referenced this pull request Dec 1, 2021

Co-authored-by: driazati <driazati@users.noreply.github.com>
mehrdadh pushed a commit to mehrdadh/tvm that referenced this pull request Dec 1, 2021

Co-authored-by: driazati <driazati@users.noreply.github.com>
@driazati driazati deleted the driazati/jenkins_names branch December 2, 2021 09:44
ylc pushed a commit to ylc/tvm that referenced this pull request Jan 7, 2022
Co-authored-by: driazati <driazati@users.noreply.github.com>
yangulei pushed a commit to yangulei/tvm that referenced this pull request Jan 11, 2022

Co-authored-by: driazati <driazati@users.noreply.github.com>
yangulei pushed a commit to yangulei/tvm that referenced this pull request Jan 12, 2022

Co-authored-by: driazati <driazati@users.noreply.github.com>
ylc pushed a commit to ylc/tvm that referenced this pull request Jan 13, 2022
Co-authored-by: driazati <driazati@users.noreply.github.com>
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.

2 participants