Skip to content

[documentation]: document if #4265

[documentation]: document if

[documentation]: document if #4265

Triggered via pull request January 30, 2026 14:13
Status Success
Total duration 28m 35s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 59s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
5s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
2m 27s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
5s
Check EasyCrypt External Projects (set-status)
Notification
7s
Notification
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
415 Bytes
sha256:1592a7dead9a106357368e2db7e39c4c1cca82bf9a9be001396bbce2b99ba237
report.log (examples) Expired
1.23 KB
sha256:4fa4226bbaab2797939aa069b0c4365f812a3c239eb17832ce7325380e1efc9d
report.log (jasmin-eclib) Expired
514 Bytes
sha256:f7a88bf790c78b6cf9f419facde2c4b4a3435c6bd1b12c39c5ac11c2c8c59e86
report.log (sha3) Expired
663 Bytes
sha256:ff60be3aee853663ae922846648636d8e6fd3bb464236334e2187c74e02c09a4
report.log (sphincsplus) Expired
613 Bytes
sha256:16b145c9af56c6e8738cf02dff0719cb3ae00598804ce58ad1d561afa5780638
report.log (stdlib) Expired
2.63 KB
sha256:d0ee3dfe2eedc11ba5bf30beb096edf0a67ad0807fb4c49c3667ea5898a86956
report.log (unit) Expired
1.05 KB
sha256:7426a8c1c96ac862cabe516b02e906e86ae2c8e74437a1f6bb2bc4a025070446
report.log (xmss-acai) Expired
626 Bytes
sha256:06a2d73f559476bf62fba12f17be92b1be15abfe57740aa654c76c96d914b6d1
report.log (xmss-fsai) Expired
608 Bytes
sha256:676a61c57ff99187c36828fd38fe8170564393d5dfef27affc75869c43396ffe
report.log (xsalsa20) Expired
339 Bytes
sha256:febc86c8bd9019c2c6f7d1d14abeb38486c39507b2ee949fbb20988997c9e582