improvement: allow modifications of `supertree` in `Zipper.within/2` #553

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (1.12.3, 24.3, true)	2m 47s
ci (1.13.4, 24.3)	2m 45s
ci (1.13.4, 25.0.2)	2m 59s
ci (1.14.3, 25.2)	3m 0s
ci (1.15.5, 26, true, true, true, true)	7m 1s
ci (1.16.0, 26)	2m 54s
	21m 26s