My son did basic training boot camp in georgia but is a resident of texas?

Does my son need to file a non resident tax form for georgia even though he is a resident of texas? he only went to georgia for boot camp and basic training?