Extract run ID from URL or return as-is if already an ID.
(self, run_input: str)
| 80 | self.log_file: Optional[Path] = None |
| 81 | |
| 82 | def _extract_run_id(self, run_input: str) -> str: |
| 83 | """Extract run ID from URL or return as-is if already an ID.""" |
| 84 | # Check if it's a URL |
| 85 | match = re.search(r"/actions/runs/(\d+)", run_input) |
| 86 | if match: |
| 87 | return match.group(1) |
| 88 | # Assume it's already an ID |
| 89 | return run_input |
| 90 | |
| 91 | def _get_repo(self) -> str: |
| 92 | """Get repository in owner/repo format.""" |