Преобразование строки в полярные поля DateTime ⇐ Python

[Anonymous]

У меня есть кадр данных Polars со столбцом типа str с датой и временем

Код: Выделить всё

df = pl.from_repr("""
┌─────────────────────────┐
│ EventTime               │
│ ---                     │
│ str                     │
╞═════════════════════════╡
│ 2020-03-02T13:10:42.550 │
└─────────────────────────┘
""")

Я хочу преобразовать этот столбец в тип Polars.Datetime.
После прочтения этого сообщения легко преобразовать строковый столбец в pl.datetime в Polars, У меня получилось:

Код: Выделить всё

df = df.with_columns(pl.col('EventTime').str.to_datetime("%Y-%m-%dT%H:%M:%f", strict=False))

Однако все значения в моем столбце «EventTime» равны нулю.
Большое спасибо!

Подробнее здесь: https://stackoverflow.com/questions/737 ... ime-polars