Skip to content

recover UC example #4072

recover UC example

recover UC example #4072

Triggered via pull request November 15, 2025 11:35
Status Success
Total duration 25m 2s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 51s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
5s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 38s
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
4s
Notification
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
413 Bytes
sha256:f280c6fe7e67015c76f15a562aa12ddd6ebc5f299225d124b91507d4a5fabf67
report.log (examples)
1.21 KB
sha256:6a25ffea6264ad478e6c38c4fcfbf7f73ae39047c202927e0bbaf0e43dd3d78e
report.log (jasmin-eclib)
508 Bytes
sha256:90fb5ac7bb0b61f47ba8cd7092f18eaefac1439bcc04fd47ef751b6b558ec2e8
report.log (sha3)
665 Bytes
sha256:68ea97000df295518be36ebcb7e29c1510aa8af2d680c3da581d79c5299dd0ba
report.log (sphincsplus)
544 Bytes
sha256:b6d0fb70551d77a91c26489a161c0b3ba0a8b0883f871da307f2794cd34c6c16
report.log (stdlib)
2.56 KB
sha256:abcfa716aa20ac9fa8194c81d5fc2d8c23bd3ba43b72f01571fb1c90d363d7dd
report.log (unit)
857 Bytes
sha256:cbd30d296d56a473689e9ee24c31bf698f683aab95d838d0e194cbf3ca228855
report.log (xmss-acai)
625 Bytes
sha256:239d6478a4a452021434cafbca9648790e73eeea843bd363c97463a54cc51513
report.log (xmss-fsai)
604 Bytes
sha256:d5d046a2f28bebbcc2f4c8499b01bb6514205f1a694efbe0296ff985b9113639
report.log (xsalsa20)
338 Bytes
sha256:94612093c6c294510b2ea9d8a0764eae989feef961bb8ffc24f95d48f20332b6