Check for copyright header

feat: deprecated find, fold, foldM, mergeBy functions for the tree map #8814

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-lean-files	29s
	29s