Skip to content
EasyCrypt compilation & check

Making program logic formulas memory-agnostic #3874

Sign in to view logs

Making program logic formulas memory-agnostic

Making program logic formulas memory-agnostic #3874

Triggered via pull request August 5, 2025 10:54
@oskgooskgo
synchronize #789
softcode-memories2
Status Failure
Total duration 9m 21s
Artifacts 10

ci.yml

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

Annotations

9 errors
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...
Process completed with exit code 2.
Check EasyCrypt Libraries (examples)
Process completed with exit code 2.
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...
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 (xmss-acai, 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 Libraries (stdlib)
Process completed with exit code 2.
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...
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) Expired
554 Bytes
sha256:bd18b562ca96ea7d22c99980dc84ce002d1919ffef23eebfe1735ceaeffb054d
report.log (examples) Expired
1.54 KB
sha256:9be5ac61864b7a2affe8c7d99ea06e191c01c78ed93f942dc8fb71698c01a387
report.log (jasmin-eclib) Expired
507 Bytes
sha256:146fb685fb06db4c8c0c730c8aa751a25b5c60fd628cd1a4fa62d8dfbb224615
report.log (sha3) Expired
905 Bytes
sha256:41739c08e367d0f2bff42cc1a708c8d7c353d2be99f0cac8ec8ef2eca67f2eef
report.log (sphincsplus) Expired
660 Bytes
sha256:64bcdf2adef19f3e382805f8587357e42f9b5c8098b47960f95110ddc381d1f4
report.log (stdlib) Expired
2.97 KB
sha256:1e9d5063c34d0bde842891cc5e42bc55ba73664bd49c5b9333db24451377d5ca
report.log (unit) Expired
823 Bytes
sha256:f2d84f3b1384f65840e2cd3f82e98403fb90c0cb6adb5c7590da746e0c385e6a
report.log (xmss-acai) Expired
734 Bytes
sha256:c99e62ff6029a4bb99ccbe9fd7f179315f031740743f821e4f503c2229434eca
report.log (xmss-fsai) Expired
723 Bytes
sha256:8fb14badc9905c275797663dbefc27b99716497fd206808f5e13345a1eb2e3aa
report.log (xsalsa20) Expired
406 Bytes
sha256:b729981515afc965cee151c45878b7d04d7505577a6474440ab6a50a29ad2314