Well, here in WA the local governments have no options but what the state legislature gives them...There are no local government buildings that are off limits except Jails and Mental health facilities, oh yes, unlicensed OC into a city owned stadium or convention center is an allowed local option. If you have a CPl, that is not even an option for them.
So, jails and MHF...in general, yes, ARMED LE can and are restricted except in very special circumstances inside jails and MHF. The corrections personal that work inside the secure area generally cannot be armed either (except maybe pepper spray). Licensed carry allowed in the "open to public" areas up to the secure area where a lock box is provided. Same with a court facility, past the metal detectors, lock box provided, only "authorized" personel.
From what I saw in the WI law they gave the local government much to much leaway. You cannot be sure when you move from one location to another what, or what is not allowed...this is not good. The State needs TOTAL preemption, no local options except maybe where firearms discharge is not allowed, and then SD is a legit reason to discharge even in a "prohibited" area.
See RCW 9.41.290 (preemption statement) and RCW 9.41.300 (restrictions and local options available)