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

Run Tests

Fix menhir version (#138) #650

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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