A police report indicates that a gun was used in the 1:42 a.m. incident, but it doesn’t mention any injuries.

Columbus police were called to the gas station around 1:35 a.m. Thursday to investigate the armed robbery, but no arrests have been made in the case. No suspect descriptions were provided in the report.