Closed
Bug 1563786
Opened 5 years ago
Closed 5 years ago
Update hacl-star docker image to pull specific commit
Categories
(NSS :: Tools, enhancement, P1)
NSS
Tools
Tracking
(Not tracked)
RESOLVED
FIXED
3.46
People
(Reporter: kjacobs, Assigned: kjacobs)
Details
Attachments
(1 file)
Taskcluster image builder job for hacl recently failed due to https://github.com/FStarLang/binaries/issues/1
The hacl-star makefile has been updated to pull the required binaries from a specific commit: https://github.com/project-everest/hacl-star/commit/1442c015dab97cdf203ae238b1f3aeccf511bd1e
So, we need to update the dockerfile to pull this updated version of hacl-star.
|
Assignee | |
Comment 1•5 years ago
|
||
|
||
Comment 2•5 years ago
|
||
Status: ASSIGNED → RESOLVED
Closed: 5 years ago
Resolution: --- → FIXED
Target Milestone: --- → 3.46
| Comment hidden (Intermittent Failures Robot) |
You need to log in
before you can comment on or make changes to this bug.
Description
•