Congress shall make no law respecting an establishment of religion, or prohibiting the free exercise thereof...
Seems pretty clear.
The City of Austin is not Congress. Not as clear as you might think.
Congress didn’t make the law.....