Skip to content

KEM libraries (non-ROM and ROM) #3536

KEM libraries (non-ROM and ROM)

KEM libraries (non-ROM and ROM) #3536

Triggered via pull request January 2, 2025 12:23
@MM45MM45
synchronize #672
KEM-library
Status Success
Total duration 22m 48s
Artifacts 10
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
412 Bytes
sha256:48c3813b19e309605fa83e331216875f7a81155c238129159f56883bd5575dfb
report.log (examples) Expired
1.11 KB
sha256:89649e3f37934765cc2e14cd89c7e37e52fd5f405b4fd1a8ee50b03ddfa5a41f
report.log (jasmin-eclib) Expired
466 Bytes
sha256:0fbd35da2d26c63eb101a0bfc7471f667677f5b41d2990c7cb66f10df236722c
report.log (sha3) Expired
663 Bytes
sha256:8653a0194039dcda318f5f367466b97261e73b8db91a73fd4cba3bafee033823
report.log (sphincsplus) Expired
549 Bytes
sha256:aa251e42c90bcdfddcf36c22eb400b340f0c7243122a22771d66376fae7706fa
report.log (stdlib) Expired
2.27 KB
sha256:5731abf92aacfdd42081904da62c93427a41d9647d2150beed51ca94ebcf1ba9
report.log (unit) Expired
603 Bytes
sha256:9dc251efb5ee77fbe1290cc61c8771a54d6619c8b475cd19b3133cd460aabb21
report.log (xmss-acai) Expired
559 Bytes
sha256:6af8ddfb04fe0e85848f3a767137ac4daa57e6ba4fa456c27248b9b8ccb4c1b7
report.log (xmss-fsai) Expired
541 Bytes
sha256:268c47dc6ce8f7abf327ec3b68038f1cf081eb4515e03cac427cfa812fb44e04
report.log (xsalsa20) Expired
338 Bytes
sha256:138c97ac9a712d32934cfa6d3f0cef797b1b255bf37fbcf9ed7f4b64e14781d6