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