All city offices, including the Buda Public Library, are closed on Friday, July 3, 2020 in observance of Independence Day.