Closed Bug 1563786 Opened 4 months ago Closed 3 months ago

Update hacl-star docker image to pull specific commit

Categories

(NSS :: Tools, enhancement, P1)

enhancement

Tracking

(Not tracked)

RESOLVED FIXED

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.

Status: ASSIGNED → RESOLVED
Closed: 3 months ago
Resolution: --- → FIXED
Target Milestone: --- → 3.46
You need to log in before you can comment on or make changes to this bug.