The snapshot of HACL* is built as part of the verify phase

[msprotz]

It should be built as part of either the build or test phase

[beurdouche]

The snapshot generation is already under CI. snapshots/hacl-c is a dependency of build/libhacl.so

[beurdouche]

My mistake, I misread the issue, I'll investigate...