Closed Bug 1395549 (hacl-ci) Opened 8 years ago Closed 8 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: 8 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.