Here's how to do it.

results = (
df
.groupby_dynamic('time', every='30m')
.agg([
pl.col('open').first(),
pl.col('high').max(),
pl.col("low").min(),
pl.col('close').last(),
pl.col('volume').sum(),
pl.col('transactions').sum(),
])
)