将时间从（HH）：MM更改为其他格式

Question

我有一个带有时间变量的数据集，该数据集是在24小时制后格式化的，就像这样：

• 1355（又名下午1:55）
• 623（又名上午6:23）
• 45（又名上午12:45）

这就是我所拥有的：

print(head(df$Issue.time))

[1] 1251 1435 2055 1515  115   19

这就是我想要的：

print(head(df$Issue.time))
[1] 12:51 14:35 20:55 15:15  01:15   00:19

我不太确定如何引用此时间格式，以便将其更改为HH：MM或其他格式。

有人知道我该怎么做吗？