code: def parse_output_files(stdout: str) -> List[str]:
      """
      Grab the list of downloaded files from the output of 'aws s3 cp'. Lines look
      like:
  
          download: s3://some/prefix/a_file.txt to a_file.txt
      """
      files = []
      for line in stdout.split("\n"):
          line = line.strip()
          if line == "":
              continue
          m = S3_DOWNLOAD_REGEX.match(line)
          if m:
              files.append(m.groups()[0])
  
      return files
  
file_path: tvm/ci/scripts/jenkins/s3.py
imports: import argparse
  import logging
  import re
  from pathlib import Path
  from typing import List
  from enum import Enum
  from cmd_utils import Sh, REPO_ROOT, init_log
label_desc: Use image node_id 2 for calling a global function with example usage: parse_output_files(stdout) and returns: files