Skip to content
Back to pull request #1212

fix(CI) Update F* version to fix mlkem CI job #3644

Sign in to view logs

fix(CI) Update F* version to fix mlkem CI job

fix(CI) Update F* version to fix mlkem CI job #3644

Annotations

1 warning

no-std-lib

no-std-lib
succeeded Jan 6, 2025 in 1m 9s