Skip to content
Build & Test C

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

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

Triggered via pull request January 10, 2025 15:03
@NadrierilNadrieril
synchronize #735
Nadrieril:fix-nix
Status Success
Total duration 35m 16s
Artifacts 3

c.yml

on: pull_request
extract
3m 13s
extract
extract-header-only-ml-dsa
3m 39s
extract-header-only-ml-dsa
extract-header-only-ml-kem
2m 55s
extract-header-only-ml-kem
diff
5s
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
8s
diff-header-only-ml-kem
Matrix: build-header-only-ml-kem
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
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-dsa
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
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-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
108 KB
header-only-c-extraction-ml-kem
173 KB