ML-KEM

Add git and fstar in PATH when building with nix #1470

Sign in to view logs

Triggered via pull request January 9, 2025 10:33

Nadrieril

opened #735

Nadrieril:fix-nix

Status Success

Total duration 40m 24s

Artifacts –

mlkem.yml

on: pull_request

Matrix: build

Matrix: fuzz

Annotations

3 warnings

fuzz (ubuntu-latest)

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

build (32, ubuntu-latest)

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

build (64, ubuntu-latest)

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