Skip to content
EasyCrypt compilation & check

Making program logic formulas memory-agnostic #3952

Sign in to view logs

Making program logic formulas memory-agnostic

Making program logic formulas memory-agnostic #3952

Triggered via pull request September 4, 2025 11:08
@oskgooskgo
synchronize #789
softcode-memories2
Status Failure
Total duration 23m 50s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 53s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
3s
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
0s
Notification
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Check EasyCrypt Libraries (stdlib)
Process completed with exit code 2.
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...
Process completed with exit code 2.
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...
Process completed with exit code 2.
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...
Process completed with exit code 2.
Check EasyCrypt External Projects (set-status)
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
412 Bytes
sha256:6f7fb62ac00ff9508f19c52ec259c3bc7c25a565a8814ac8b04f5858e7b032dc
report.log (examples)
1.18 KB
sha256:58ada4174c526a1e3be8b3afae12a0867e6eff4a63ea507d09587a407c452920
report.log (jasmin-eclib)
510 Bytes
sha256:fbe087029329cdfd2a61d6de87fd14638875ba61c2df43cb6774439e04c005e5
report.log (sha3)
662 Bytes
sha256:5350cca80089cfd9a7d1b0445b1340a0ba85b23958d2753bd492bdd960eee394
report.log (sphincsplus)
657 Bytes
sha256:464fb2457434e8ded839872817e03174869b9be8733050ce1bb8b565a1e97ae6
report.log (stdlib)
2.6 KB
sha256:4ca19a7f1f1f201d7959eb79e6a39c3811186d454242bd1c0409292f74860e86
report.log (unit)
841 Bytes
sha256:495edd82c1f7f13d059f34da6da7a6f730cd1fd48a92a001ee71fd2c37c97739
report.log (xmss-acai)
652 Bytes
sha256:d70031dbf7d17fceb96a3a936a273105f0cc7bae658dd70f24edbf68b9d8a1e4
report.log (xmss-fsai)
638 Bytes
sha256:acaea3643c854dd42efbe3610734ce49676a271ad172df8ded596129187f468a
report.log (xsalsa20)
337 Bytes
sha256:f797f88c581ce9ded8b5b43d10dca4c0f37ea3b0f94da9b9e66488367fd33391