Skip to content

start improving the stability of smt in DynMatrix #4403

start improving the stability of smt in DynMatrix

start improving the stability of smt in DynMatrix #4403

Triggered via pull request February 22, 2026 19:21
Status Failure
Total duration 19m 57s
Artifacts 9

ci.yml

on: pull_request
EasyCrypt compilation (opam)
3m 3s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
6s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
2m 23s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
3s
Check EasyCrypt External Projects (set-status)
Notification
0s
Notification
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check EasyCrypt Libraries (stdlib)
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
413 Bytes
sha256:50c8c9d43332ad9963dddd7b7991f2d3d4624e5c2816c4d97ba8401a5a2b95d8
report.log (examples)
1.24 KB
sha256:97e092a1d1f7c7f184f9a6e489c02d9267f1d372172b091fd08413b45bf3887a
report.log (jasmin-eclib)
514 Bytes
sha256:19a0038186a121410b18378a97fee9b5311f5a0b78a27c03f822fdd54618a0c4
report.log (sha3)
666 Bytes
sha256:a248038f1aa76081cf50220c7a752c03e61109d6ca9483de04aee76aad52fca2
report.log (sphincsplus)
547 Bytes
sha256:20c6744588b406bcfb1180ade7f6b3cf1216167e811c2d6943897288a15823d8
report.log (stdlib)
2.67 KB
sha256:89f4eb37e882bc8f95c9b1e1f383136c9c1a0373692055dba00d264192f03340
report.log (unit)
1.06 KB
sha256:57d75c91e7a333eca54f9dd4ef65523e72493f6c2eb903133caae27956251666
report.log (xmss-security)
585 Bytes
sha256:249b2176491072e38de572df2c69727f80b52a634b9b3e4cace749538f611eba
report.log (xsalsa20)
338 Bytes
sha256:60414943de22ac2eb99ff78c8587d9dbe29b079ecf2341251746fc88f048f2e5