Did Jacob deGrom just make his final start as a Ranger?

Jacob deGrom left his start on Tuesday night after just two innings of work due to triceps fatigue. With a lockout looming next season, could that have been the final time we see deGrom pitch for Texas?