hacl-star / merkle-tree

A verified Merkle Tree, built as a standalone project on top of EverCrypt
6 stars 5 forks source link

MerkleTree.New.High.Correct.Base: Bump rlimit #15

Closed mtzguido closed 8 months ago

mtzguido commented 8 months ago

From the commit message:

Unsure if this is really needed. Everest failed, but locally I got a green without this change, so bumping just in case.

Kicked another build. Maybe let's wait to see if this comes back green before merging https://github.com/project-everest/everest/actions/runs/7281300472