diff options
author | Benjamin Beurdouche <bbeurdouche@mozilla.com> | 2020-02-28 18:53:53 +0000 |
---|---|---|
committer | Benjamin Beurdouche <bbeurdouche@mozilla.com> | 2020-02-28 18:53:53 +0000 |
commit | afda5ab1d6ad3391681b901c088ec3054a1195d1 (patch) | |
tree | 25a66e80c5a9f872cdd6a8da1099cecb024bb121 /automation | |
parent | b0a0fdd8f4f847d0942e9a7f8464a7fb8ae94921 (diff) | |
download | nss-hg-afda5ab1d6ad3391681b901c088ec3054a1195d1.tar.gz |
Bug 1617533 - Update of HACL* after libintvector.h and coding style changes. r=kjacobs
***
Bug 1617533 - Clang format
***
Bug 1617533 - Update HACL* commit for job in Taskcluster
***
Bug 1617533 - Update HACL* Kremlin code
Differential Revision: https://phabricator.services.mozilla.com/D63829
Diffstat (limited to 'automation')
-rwxr-xr-x | automation/taskcluster/scripts/run_hacl.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/automation/taskcluster/scripts/run_hacl.sh b/automation/taskcluster/scripts/run_hacl.sh index 968632d81..4ad6ca7f1 100755 --- a/automation/taskcluster/scripts/run_hacl.sh +++ b/automation/taskcluster/scripts/run_hacl.sh @@ -13,7 +13,7 @@ set -e -x -v # HACL CI. # When bug 1593647 is resolved, extract the code on CI again. git clone -q "https://github.com/project-everest/hacl-star" ~/hacl-star -git -C ~/hacl-star checkout -q 186a985597d57e3b587ceb0ef6deb0b5de706ae2 +git -C ~/hacl-star checkout -q 4faa2f0e26b544c81e5d2e0af773cc8008863470 # Format the C snapshot. cd ~/hacl-star/dist/mozilla |