Fix hassllessthan; first use of our CI implementation