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

Run Tests

Promote menhir changes #647

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
built with flambda-backend, flambda2	19m 5s
	19m 5s