CI

fix sigma pruning when calling ltac, reachability is not correct #1353

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.19, 4.14-flambda)	6m 14s
play	1m 49s
release	0s
	8m 3s