Revert "for CI only"
Revert "for CI only"

This reverts commit 7eb6b61ebf0804f6b3fdfbefbae657d041cd4d08.

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star