hacl icon indicating copy to clipboard operation
hacl copied to clipboard

Published 20 hours ago • verified publisher icon mirage

Add a check-vendor target

Open emillon opened this issue 5 years ago • 0 comments

Hi,

In mirage/fiat#24 we added a check-vendors target to check that the vendored code corresponds to what's in the upstream repository. Let's add a similar one here.

emillon avatar Jun 25 '19 15:06 emillon