Skip to content
Check for copyright header

feat: insertMany, ofList, ofArray, foldr, foldM functions for the tree map #8823

Sign in to view logs

feat: insertMany, ofList, ofArray, foldr, foldM functions for the tree map

feat: insertMany, ofList, ofArray, foldr, foldM functions for the tree map #8823

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-lean-files
30s
30s