Skip to content

recover UC example #4075

recover UC example

recover UC example #4075

Triggered via push November 15, 2025 12:00
Status Success
Total duration 23m 32s
Artifacts 10

ci.yml

on: push
EasyCrypt compilation (opam)
2m 42s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
4s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
2m 25s
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) Expired
413 Bytes
sha256:70111cdffbb92220c65fcda37cafde6e03671c83aad865dafcf214b161920f4f
report.log (examples) Expired
1.21 KB
sha256:863fcb146285ef73ace2165346c936351ef662a81da2395af81f1c0c5dd70ea4
report.log (jasmin-eclib) Expired
509 Bytes
sha256:2e8e0f764b3c52c9b2adea72329ae6d7a57ec7ffc5196f99956953286e2f7925
report.log (sha3) Expired
665 Bytes
sha256:76060b1bf1bbf5c75a447eb5090cfd7e8d9b7b07ef6a538efa67b0816daa94e6
report.log (sphincsplus) Expired
549 Bytes
sha256:1b145dafb2a6beedc604f002772a5b39599b1a7341a41e3ba22bdb3ba315e2b2
report.log (stdlib) Expired
2.61 KB
sha256:e7ab5136e2eab1691c298719caf0c5c7d1e91ddf37df4e6943bc0e54511ab969
report.log (unit) Expired
857 Bytes
sha256:fe2e7a472874fb0cb78c293be502be51b3f6b2e2c46d53706b70e49b2418bbfd
report.log (xmss-acai) Expired
621 Bytes
sha256:815610580635cc8d36f3c44f24d2465ea36ef6d029a22fb77d584415a96c58a6
report.log (xmss-fsai) Expired
602 Bytes
sha256:0bbf22ee798a8f419360b79eada45b07779caeeab4de7a4fe5e203b58ae3069e
report.log (xsalsa20) Expired
339 Bytes
sha256:a604c87d62b182be20a5732e2ec83cbcf401824ead9f913cfe88ddff3cfae3cc