Skip to content

Feature exception #4175

Feature exception

Feature exception #4175

Triggered via pull request January 16, 2026 17:07
Status Success
Total duration 24m 24s
Artifacts 10

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
410 Bytes
sha256:24a70b641df7c0a0c475c697087057bd1f6bc584c7b0854e144b82a7ac66cbd2
report.log (examples)
1.25 KB
sha256:eadfe3578d63d6083fb23189eab213900ec36579579c7b8fe6f5af68d320394b
report.log (jasmin-eclib)
510 Bytes
sha256:8d703aa7284d7c33648a68c8cdb431bafd06404908b5b47f183822b69bf8c55e
report.log (sha3)
665 Bytes
sha256:37abac610c8fabc553ab3ddcdf99acc328343f122b44b335211f7380afcf9ad6
report.log (sphincsplus)
613 Bytes
sha256:5a00b8c7af37d6cc45c05adf7964d3ba19230e1d462d6dea1848e9f3871c00d6
report.log (stdlib)
2.63 KB
sha256:4a1414ade4488381208abb8ef3753515a4d599b60b076a027d09eb025346632b
report.log (unit)
1 KB
sha256:7e43188896bdf6f86a92818e068fbe7b74709e1714a284906a66158617cf8044
report.log (xmss-acai)
623 Bytes
sha256:81b993e9069912920c868b6ab91cfafa874cf598e0ce83f73f967c1a11636a99
report.log (xmss-fsai)
605 Bytes
sha256:c522bc9b93ac2f9dab4919b60d5adebdc6a566a3d3aca35cd6db7315dc7d2e6a
report.log (xsalsa20)
340 Bytes
sha256:3606547fc23c771bb0e8b30134b46e769b8b49a8f40cbb9e0d26cd7a369f7ac2