gh-130213: update hacl_star_rev to 809c320227eecc61a744953f1ee574b4f24aabe3 #144580

Job	Run time
Change detection / Create context from changed files	9s
Address sanitizer (ubuntu-24.04)	10m 23s
Ubuntu SSL tests with OpenSSL (ubuntu-24.04, 3.0.15)	3m 32s
Windows MSI${{ '' }}	0s
Ubuntu SSL tests with OpenSSL (ubuntu-24.04, 3.1.7)	2m 43s
Check if Autoconf files are up to date	23s
Ubuntu SSL tests with OpenSSL (ubuntu-24.04, 3.2.3)	2m 35s
Check if generated files are up to date	3m 27s
Ubuntu SSL tests with OpenSSL (ubuntu-24.04, 3.3.2)	2m 46s
CIFuzz (address)	20m 14s
Cross build Linux	3m 41s
Ubuntu SSL tests with OpenSSL (ubuntu-24.04, 3.4.0)	2m 42s
CIFuzz (undefined)	22m 39s
Hypothesis tests on Ubuntu	6m 55s
CIFuzz (memory)	21m 47s
WASI / build and test	4m 53s
macOS (free-threading) / build and test (ghcr.io/cirruslabs/macos-runner:sonoma)	12m 58s
macOS / build and test (ghcr.io/cirruslabs/macos-runner:sonoma)	3m 41s
macOS / build and test (macos-13)	10m 43s
Thread sanitizer / Thread sanitizer	5m 8s
Thread sanitizer (free-threading) / Thread sanitizer	9m 51s
Ubuntu / build and test (ubuntu-24.04-arm)	10m 30s
Ubuntu / build and test (ubuntu-24.04)	8m 21s
Ubuntu (free-threading) / build and test (ubuntu-24.04)	12m 50s
Ubuntu (free-threading) / build and test (ubuntu-24.04-arm)	13m 22s
Ubuntu (bolt) / build and test (ubuntu-24.04)	13m 56s
Windows / build (arm64)	3m 47s
Windows (free-threading) / build (arm64)	3m 32s
Windows / build and test (Win32)	17m 21s
Windows / build and test (x64)	16m 45s
Windows (free-threading) / build and test (x64)	23m 18s
Docs / Docs	1m 41s
Docs / Doctest	4m 31s
All required checks pass	3s
	4h 41m 7s

Provide feedback