Kramatorsk City Council reported this on its Telegram channel, citing Mayor Oleksandr Honcharenko, according to Ukrinform.
"At night, the occupiers shelled Kramatorsk. According to preliminary information, there are no casualties. We are clarifying the consequences of the destruction," the mayor said.
Earlier reports said that the Russian army killed ten residents of the Donetsk region on July 8.