Skip to content

Hacl: do not promote runtime-generated.js

Alain Mebsout requested to merge alain@functori@remove-runtime-generated-js into master

Context

This MR removes the file src/lib_hacl/runtime-generated.js as, like its name suggest, it is regenerated by the build system and the output might be different depending on the system.

Related to !6181 (merged).

Manually testing the MR

dune build src/lib_hacl/runtime-generated.js
Edited by Alain Mebsout

Merge request reports