Verlander had already been replaced on the American League All-Star team by Baltimore’s Chris Tillman. Under baseball’s labor contract, pitchers who start on the Sunday before the All-Star game may opt not to participate.
Verlander held the Rangers without a hit until Mitch Moreland’s double to right-center with two outs in the seventh. He retired Elvis Andrus for the third out of that inning and then came out of the game.
He fell seven outs short of his third career no-hitter.
Source: Associated Press