PR Build

core: fix corner cases with less than comparison #1043

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check	1m 23s
build (17, 2.13.16)	4m 40s
build (17, 3.5.1)	3m 40s
build (23, 2.13.16)	3m 49s
build (23, 3.5.1)	5m 40s
	19m 12s