* Update Platforms * Update WORKSPACE * indentation * Update WORKSPACE --------- Co-authored-by: Michael Le <michael.le647@gmail.com>