Here's another post, here on SN, on this development -- from CNBC:

Fort Worth is the first city in the U.S. to mine bitcoin, and will run mining rigs out of city hall #23054 https://www.cnbc.com/2022/04/26/fort-worth-tx-the-first-city-in-the-us-to-mine-bitcoin.html