def METHOD_NAME(run_id: str, url: Optional[str]):
    """Convert URL into a redirecting HTML page"""
    report_url = url
    if not url:
        report_url = f'https://github.com/magma/magma/actions/runs/{run_id}'
    return (
        f'<script>'
        f'  window.location.href = "{report_url}";'
        f'</script>'
    )