Skip to content
Build & Test C

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

Sign in to view logs

Add git and fstar in PATH when building with nix

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

Triggered via pull request January 9, 2025 10:33
@NadrierilNadrieril
opened #735
Nadrieril:fix-nix
Status Success
Total duration 39m 23s
Artifacts 3

c.yml

on: pull_request
extract
2m 32s
extract
extract-header-only-ml-dsa
2m 33s
extract-header-only-ml-dsa
extract-header-only-ml-kem
3m 8s
extract-header-only-ml-kem
diff
9s
diff
Matrix: build
diff-header-only-ml-dsa
5s
diff-header-only-ml-dsa
Matrix: build-header-only-ml-dsa
diff-header-only-ml-kem
5s
diff-header-only-ml-kem
Matrix: build-header-only-ml-kem
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
extract-header-only-ml-dsa
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
extract
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
extract-header-only-ml-kem
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
diff-header-only-ml-dsa
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-header-only-ml-dsa (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
diff
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
diff-header-only-ml-kem
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-header-only-ml-kem (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
c-extraction
215 KB
header-only-c-extraction-ml-dsa
106 KB
header-only-c-extraction-ml-kem
173 KB