(args: argparse.Namespace)
| 801 | |
| 802 | |
| 803 | def cmd_workflow_run_cancel(args: argparse.Namespace) -> int: |
| 804 | base_url = args.base_url.rstrip("/") |
| 805 | _require_health(base_url, args.request_timeout) |
| 806 | result = _request_json("POST", f"{base_url}/workflow-runs/{urllib.parse.quote(args.run_id)}/cancel", timeout=args.request_timeout) |
| 807 | _json_print({"ok": True, "base_url": base_url, "run": {"kind": "workflowRun", "id": args.run_id}, "cancel": result, "meta": _recovery_meta(base_url, args.run_id)}, compact=args.compact) |
| 808 | return 0 |
| 809 | |
| 810 | |
| 811 | def _ensure_no_external_texture_process(args: argparse.Namespace) -> None: |
nothing calls this directly
no test coverage detected