Skip to content

[Hexagon] Add random string to workspace name#11593

Merged
mehrdadh merged 1 commit into
apache:mainfrom
mehrdadh:hexagon/launcher_random_directory_name
Jun 8, 2022
Merged

[Hexagon] Add random string to workspace name#11593
mehrdadh merged 1 commit into
apache:mainfrom
mehrdadh:hexagon/launcher_random_directory_name

Conversation

@mehrdadh

@mehrdadh mehrdadh commented Jun 6, 2022

Copy link
Copy Markdown
Member

This is to avoid workspace collision in case the test was skipped/xfailed quickly.

@mehrdadh mehrdadh requested a review from Lunderberg June 6, 2022 17:32

@Lunderberg Lunderberg left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM! Thank you for spinning this out from #11547.

@mehrdadh

mehrdadh commented Jun 7, 2022

Copy link
Copy Markdown
Member Author

let's not merge this until Hexagon CI is fixed.

@mehrdadh mehrdadh merged commit 97e681d into apache:main Jun 8, 2022
@mehrdadh mehrdadh deleted the hexagon/launcher_random_directory_name branch June 8, 2022 20:24
Kathryn-cat pushed a commit to Kathryn-cat/tvm that referenced this pull request Jun 10, 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.

2 participants