这是indexloc提供的服务，不要输入任何密码

Run Tests

Rename Tmod_hole to Tmod_typed_hole #591

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
built with flambda-backend, flambda2	13s
	13s