Skip to content

[CI] Cleanup legacy files#17635

Merged
MasterJH5574 merged 1 commit into
mainfrom
ci
Feb 10, 2025
Merged

[CI] Cleanup legacy files#17635
MasterJH5574 merged 1 commit into
mainfrom
ci

Conversation

@tqchen

@tqchen tqchen commented Feb 10, 2025

Copy link
Copy Markdown
Member

This PR cleans up legacy files after CI clenup.

This PR cleans up legacy files after CI clenup.

@MasterJH5574 MasterJH5574 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.

@MasterJH5574 MasterJH5574 merged commit f3bd8e1 into main Feb 10, 2025
@tqchen tqchen deleted the ci branch February 10, 2025 23:03
ShiboXing pushed a commit to ShiboXing/tvm that referenced this pull request Aug 10, 2025
This PR cleans up legacy files after CI clenup.
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