All City of Buda offices will close at noon on Friday, Dec. 11 for the City’s Employee Holiday Luncheon. The Buda Public Library will be closed all day on Friday, Dec. 11.