(self)
| 531 | return None |
| 532 | |
| 533 | def rerun_jenkins_ci(self) -> None: |
| 534 | job_names = [ |
| 535 | "tvm-arm", |
| 536 | "tvm-cpu", |
| 537 | "tvm-docker", |
| 538 | "tvm-gpu", |
| 539 | "tvm-wasm", |
| 540 | ] |
| 541 | for name in job_names: |
| 542 | url = JENKINS_URL + f"job/{name}/job/PR-{self.number}/buildWithParameters" |
| 543 | logging.info(f"Rerunning ci with URL={url}") |
| 544 | if self.dry_run: |
| 545 | logging.info("Dry run, not sending POST") |
| 546 | else: |
| 547 | post(url, auth=("tvm-bot", TVM_BOT_JENKINS_TOKEN)) |
| 548 | |
| 549 | def rerun_github_actions(self) -> None: |
| 550 | workflow_ids = [] |