pyechartsで目盛りの間隔を指定したい

pyechartsというライブラリを使用してグラフを作成しているのですが、
目盛りの間隔を15分単位等の固定で表示することができません。
下記ソースで何か間違っていますでしょうか。ご教示願います。

〇試したこと

ドキュメントに下記記載があったので、試したがうまく表示されなかった。
(google翻訳で翻訳)
＃軸の分割間隔を強制的に設定します。
＃splitNumberは推定値であるため、戦略に従って計算された実際のスケールでは、目的の効果が得られない場合があります。
＃現時点では、最小および最大の間隔を使用してスケール分割を強制できますが、一般的にはお勧めしません。
＃カテゴリ軸では使用できません。タイムスタンプは時間軸（タイプ： 'time'）で渡される必要があり、指数値はログ軸（タイプ： 'log'）で渡される必要があります。

interval: Optional[Numeric] = None,

https://pyecharts.org/#/zh-cn/global_options

splitNumberも使用してみたが、有効にならない場合があった。

python
1from pyecharts.charts import Line
2from pyecharts import options as opts
3
4v1 = [5,100,45,67,23,56,90,77,80,99,2,5]
5
6line = (
7    Line()
8    .set_global_opts(
9            xaxis_opts=opts.AxisOpts(
10                type_="time",
11                boundary_gap=False,
12                interval=15
13            )
14    )
15
16)
17line.add_xaxis(["2019-12-01T10:00:00","2019-12-01T10:30:00","2019-12-01T11:00:00","2019-12-01T11:30:00","2019-12-01T12:00:00","2019-12-01T12:30:00","2019-12-01T13:00:00","2019-12-01T13:30:00","2019-12-01T14:00:00","2019-12-01T14:30:00","2019-12-01T15:00:00"])
18line.add_yaxis("睡眠",v1)
19line.render()