So far as we know, Heck has yet to file any legal papers to challenge the result.
BTW. what was Castro-whatever's purported margin of victory?
Cortez Masto (I was calling her Castro so often I forgot that wasn’t really her name ;) ) “won” by 47.1% to 44.67%, about 27K votes. Shillery also “won” the state by about 27 K votes.