Skip to content
.github/workflows/charon.yml

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

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

Triggered via pull request December 24, 2024 15:32
@maximebuysemaximebuyse
opened #1212
fix-mlkem-ci-fstar
Status Success
Total duration 7m 56s
Artifacts –

charon.yml

on: pull_request
charon
7m 47s
charon
Fit to window
Zoom out
Zoom in

Annotations

1 warning
charon
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636