search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

change `-skip-compilation` to `-skip-translation` when extracting `out.krml` #99

Closed msprotz closed 7 years ago

msprotz commented 7 years ago

@beurdouche I believe you fixed this, right?

beurdouche commented 7 years ago

Indeed... https://github.com/mitls/hacl-star/commit/31cb933916bb955cf43c333cb2e05a32b574a450