Skip to content
ML-DSA - hax

build(deps): update curve25519-dalek requirement from 4.1.2 to 5.0.0 #3290

Sign in to view logs

build(deps): update curve25519-dalek requirement from 4.1.2 to 5.0.0

build(deps): update curve25519-dalek requirement from 4.1.2 to 5.0.0 #3290

Triggered via pull request July 9, 2026 02:45
@dependabotdependabot[bot]
opened #1511
dependabot/cargo/curve25519-dalek-5.0.0
Status Success
Total duration 19m 56s
Artifacts 1

mldsa-hax.yml

on: pull_request
get-hax-ref  /  get-hax-ref
11s
get-hax-ref / get-hax-ref
extract
2m 13s
extract
lax
4m 3s
lax
prove
prove
mldsa-extract-hax-status
2s
mldsa-extract-hax-status
mldsa-lax-hax-status
3s
mldsa-lax-hax-status
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
extract
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: DeterminateSystems/nix-installer-action@v21. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
lax
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: DeterminateSystems/nix-installer-action@v21. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
lax: dummy#L0
(152) * Warning 152: - Not a valid include directory: /home/runner/work/libcrux/libcrux/libcrux-intrinsics/proofs/fstar/extraction
lax: dummy#L0
(152) * Warning 152: - Not a valid include directory: /home/runner/work/libcrux/libcrux/libcrux-intrinsics/proofs/fstar/extraction
lax: dummy#L0
(152) * Warning 152: - Not a valid include directory: /home/runner/work/libcrux/libcrux/libcrux-intrinsics/proofs/fstar/extraction
lax: dummy#L0
(152) * Warning 152: - Not a valid include directory: /home/runner/work/libcrux/libcrux/libcrux-intrinsics/proofs/fstar/extraction
lax: dummy#L0
(152) * Warning 152: - Not a valid include directory: /home/runner/work/libcrux/libcrux/libcrux-intrinsics/proofs/fstar/extraction
lax: dummy#L0
(152) * Warning 152: - Not a valid include directory: /home/runner/work/libcrux/libcrux/libcrux-intrinsics/proofs/fstar/extraction
lax: dummy#L0
(152) * Warning 152: - Not a valid include directory: /home/runner/work/libcrux/libcrux/libcrux-intrinsics/proofs/fstar/extraction
lax: dummy#L0
(152) * Warning 152: - Not a valid include directory: /home/runner/work/libcrux/libcrux/libcrux-intrinsics/proofs/fstar/extraction
lax: dummy#L0
(152) * Warning 152: - Not a valid include directory: /home/runner/work/libcrux/libcrux/libcrux-intrinsics/proofs/fstar/extraction
lax: dummy#L0
(152) * Warning 152: - Not a valid include directory: /home/runner/work/libcrux/libcrux/libcrux-intrinsics/proofs/fstar/extraction

Artifacts

Produced during runtime
Name Size Digest
fstar-extractions
712 KB
sha256:bd1c8aec8284d4d38871312de433a4ef35d0da2d3e6a85dad368e015dfb54a2e