Skip to content
Test installations

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

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 #3337

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker
0s
setup_sh
0s
setup_sh_status
0s
0s