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

Move temp jenkins jobs to apache/tvm #58

Merged
merged 1 commit into from
Dec 6, 2022
Merged

Move temp jenkins jobs to apache/tvm #58

merged 1 commit into from
Dec 6, 2022

Conversation

driazati
Copy link
Contributor

@driazati driazati commented Nov 7, 2022

This renames all the jobs per platform to apache/tvm with the right
credentials. It also removes the tvm- prefix on each job which is just
kind of redundant

This renames all the jobs per platform to apache/tvm with the right
credentials. It also removes the `tvm-` prefix on each job which is just
kind of redundant
driazati added a commit to driazati/tvm that referenced this pull request Nov 7, 2022
This is a follow on to tlc-pack/ci#58 and apache#13300. This removes the old `Jenkinsfile` and makes the new job statuses required for PRs to merge.
@driazati driazati merged commit 88e54dc into main Dec 6, 2022
driazati added a commit to apache/tvm that referenced this pull request Dec 7, 2022
This is a follow on to tlc-pack/ci#58 and #13300. This removes the old `Jenkinsfile` and makes the new job statuses required for PRs to merge.
mikeseven pushed a commit to mikeseven/tvm that referenced this pull request Sep 27, 2023
…he#13316)

This is a follow on to tlc-pack/ci#58 and apache#13300. This removes the old `Jenkinsfile` and makes the new job statuses required for PRs to merge.
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.

1 participant