Skip to content
ML-DSA - hax

ML-DSA - hax #3234

Sign in to view logs

ML-DSA - hax

ML-DSA - hax #3234

Triggered via schedule June 27, 2026 02:37
@franziskuskieferfranziskuskiefer
⁠ 10a65cf
main
Status Cancelled
Total duration 1d 0h 4m 13s
Artifacts 1

mldsa-hax.yml

on: schedule
get-hax-ref  /  get-hax-ref
11s
get-hax-ref / get-hax-ref
extract
3m 55s
extract
lax
4m 10s
lax
prove
1d 0h
prove
mldsa-extract-hax-status
2s
mldsa-extract-hax-status
mldsa-lax-hax-status
2s
mldsa-lax-hax-status
Fit to window
Zoom out
Zoom in

Annotations

1 error and 12 warnings
prove
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
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:3185a6a484cea68dbfc3c44356bb68161d678e7d6cd8cd10948dac52c5df2bfe