added comment aabout need for switching to SortedSet #384

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	8m 44s
test (kpp)	6m 8s
test (eb-ep)	3m 42s
test (eb-eg)	1m 24s
test (eb-epc)	3m 5s
test (eb-enc)	3m 14s
test (eb-eftpi)	1m 59s
	28m 16s