徳島市は15日、夏のボーナスを職員に支給した。