Devenski was added to the Astros' World Series roster, Jared Diamond of The Wall Street Journal reports.
The Astros' lone change from the ALCS sees Devenski join the team in place of Bryan Abreu. Devenski has yet to pitch in the playoffs and posted an unremarkable 4.83 ERA in 69 regular-season innings.