They did let the clock run.
You caught me. I didn’t click to the article.
I thought Texas used NCAA rules in HS football, so I assumed no mercy clock.