Repository navigation
Commit 1e6383f
committed
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -22,7 +22,7 @@ fi | |||
| 22 | 22 | ||
| 23 | 23 | # Update this when updating to a new version after verifying that the changes | |
| 24 | 24 | # the update brings in are good. | |
| 25 | - expected_hacl_star_rev=8ba599b2f6c9701b3dc961db895b0856a2210f76 | ||
| 25 | + expected_hacl_star_rev=d01ef3827be3dd6aeb7654415b9126bd074e2f5e | ||
| 26 | 26 | ||
| 27 | 27 | hacl_dir="$(realpath "$1")" | |
| 28 | 28 | cd "$(dirname "$0")" | |
0 commit comments