(pr: PR)
| 689 | |
| 690 | @staticmethod |
| 691 | def run(pr: PR): |
| 692 | errors = [] |
| 693 | try: |
| 694 | pr.rerun_jenkins_ci() |
| 695 | except Exception as e: |
| 696 | logging.exception(e) |
| 697 | errors.append(e) |
| 698 | |
| 699 | try: |
| 700 | pr.rerun_github_actions() |
| 701 | except Exception as e: |
| 702 | logging.exception(e) |
| 703 | errors.append(e) |
| 704 | |
| 705 | if len(errors) > 0: |
| 706 | pr.comment_failure("Failed to re-run CI", errors) |
| 707 | |
| 708 | |
| 709 | if __name__ == "__main__": |
nothing calls this directly
no test coverage detected