Skip to content
EasyCrypt compilation & check

Another example for eHoare #4269

Sign in to view logs

Another example for eHoare

Another example for eHoare #4269

Triggered via pull request January 30, 2026 14:27
@namasikanamnamasikanam
synchronize #845
eHoare-example
Status Success
Total duration 27m 2s
Artifacts 10

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
413 Bytes
sha256:3168ec9a8a294f23ee4a12ddd9bf4e7853e57f70359addd52a493ad9ee7cc3ad
report.log (examples) Expired
1.19 KB
sha256:aed9a70b05cac839be5f240921bc3620de16da0557bc34863b7f31fd86e6be03
report.log (jasmin-eclib) Expired
515 Bytes
sha256:1fa062bad9e301b4df318913218777ca214c468a13dfaed2c9f0a465031805da
report.log (sha3) Expired
665 Bytes
sha256:23381583ac1c608a8d66f6d1b71ac29974cbf2a2a384aa967062f6da9613bb0e
report.log (sphincsplus) Expired
616 Bytes
sha256:66d19ab952b1a8b9557679c89be20cf22bf8b912eb9edb8c5d5a6fad2f9c831a
report.log (stdlib) Expired
2.63 KB
sha256:f4e170073909f79ee8b49e3741355bb5b62de9453822da0fa2ed8b6dde63c7fd
report.log (unit) Expired
1.04 KB
sha256:b7764932c669d4a5a47304925e28b915e1431376bbc76fe761540e95d45d2650
report.log (xmss-acai) Expired
627 Bytes
sha256:6c0751f5f411b1c79420f2f9df8e378f30d2768b3dc9ea783dff08abe6002de1
report.log (xmss-fsai) Expired
602 Bytes
sha256:4785e605b6454eeb1a8323d1232652218c8e9f89b8161f5262243cf5f8d2df27
report.log (xsalsa20) Expired
338 Bytes
sha256:66026db1ec27d92a2f33b1a2f3f26e8ce41e8b5f8a77145521c753d01e64e644