Copper ground

I’m just a rookie, but I’ve changed many ceiling lights to lights / fans. All in my new house’s that are blocked and wired for fans.

Here’s my question. I’ve found in 8 of 9 lights, the copper ground wire is not connected. Its just pushed up into the fixture. I always connect it, BUT is it required to be connected in Texas ? ? ? ? ?

Thanks

Chuck
New Braunfels, TX

Again, yes.