Closed Bug 1395549 (hacl-ci) Opened 7 years ago Closed 7 years ago

CI integration for HACL* code

Categories

(NSS :: Test, enhancement)

enhancement
Not set
normal

Tracking

(Not tracked)

RESOLVED FIXED

People

(Reporter: franziskus, Assigned: franziskus)

References

(Blocks 1 open bug)

Details

We need CI integration for HACL* code to make sure we don't break any of the generated code.
Status: NEW → RESOLVED
Closed: 7 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.