Optimisation: Use heapify in MutableBinaryHeap#712

Open

rushabh-v wants to merge 3 commits intoJuliaCollections:masterfrom rushabh-v:heap-1

+15-7

Commits on Dec 10, 2020

use heapify instead of iteratively inserting elements
rushabh-v
committed

Commits on Dec 11, 2020