def is_desired_workflow(run_json):
    """
    Checks if this run is for the "Presubmit Checks" workflow.
    """
    # Each workflow has a fixed ID.
    # For the "Persubmit Checks" workflow, it is:
    # https://api.github.com/repos/taichi-dev/taichi/actions/workflows/1291024
    DESIRED_ID = 1291024
    return run_json['workflow_id'] == DESIRED_ID