batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat: use 'lake test'

Open kim-em opened this issue 1 year ago • 0 comments
trafficstars

This is an attempt to switch to using lake test. Gradually more of this functionality will be taken over by lake, but I would like to push this along and see if we can't get some of the major repositories using lake test.

kim-em avatar May 09 '24 06:05 kim-em