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

Triggered via pull request January 6, 2025 09:55
@maximebuysemaximebuyse
synchronize #1212
fix-mlkem-ci-fstar
Status Skipped
Total duration 5s
Artifacts –

test_installs.yml

on: pull_request
Matrix: setup_sh
docker
0s
docker
setup_sh_status
0s
setup_sh_status
Fit to window
Zoom out
Zoom in