According to somebody named
Steve Grande:
According to Elias: Last night, the Astros became the 1st team in MLB history to use 7 different pitchers against 7 consecutive hitters.The method behind Mills' madness*?
*I do not actually think Mills is mad.
It was also stated that it was the first time ever that 5 different pitchers faced only 1 batter for the same team. And that combined with the 2 Mets pitchers who performed the same feat in the game, set the record for a single game from both teams