EasyCrypt compilation & check

Making program logic formulas memory-agnostic #3922

Sign in to view logs

Triggered via pull request August 27, 2025 16:31

oskgo

synchronize #789

softcode-memories2

Status Failure

Total duration 16m 42s

Artifacts 10

ci.yml

on: pull_request

EasyCrypt compilation (opam)

Fetch EasyCrypt External Projects Matrix

EasyCrypt compilation (nix)

Matrix: Check EasyCrypt Libraries

Matrix: Check EasyCrypt External Projects

Check EasyCrypt External Projects (set-status)

Annotations

9 errors

EasyCrypt compilation (nix)

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 Libraries (examples)

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 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 (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) Expired	668 Bytes	`sha256:37ebd76a51e80ccb41d197230cd0b7b6fa6534a1447cc3446e9f1e316e89db72`
report.log (examples) Expired	1.37 KB	`sha256:f3bd58b65881d7933e03815b189ff04b14a2ccce562018a73ae5392caec4259e`
report.log (jasmin-eclib) Expired	505 Bytes	`sha256:60e280497fca2c35493134efb7afa67f5f2e01f1a3efe606c428f0579869d917`
report.log (sha3) Expired	844 Bytes	`sha256:35a6d98831604c2e5a5fb22b5139d3bf0e0c81702c29b9e9fbb1981575107d40`
report.log (sphincsplus) Expired	699 Bytes	`sha256:94648cd09261ffe2aff40063548e67c1c1f79e190869986833d4a594aa61317e`
report.log (stdlib) Expired	2.83 KB	`sha256:1710dc269ceca8babd66bafa7de53926595a4c5832c75bef90234e5db0a548cd`
report.log (unit) Expired	840 Bytes	`sha256:ac09b5d4d89abb955ac2183cd2a0aac743717bb107d6e1601db2cf2cbe77396c`
report.log (xmss-acai) Expired	748 Bytes	`sha256:391a9e04dd2d36cb01da536060441d30834938de8074ffc58c770d527102f368`
report.log (xmss-fsai) Expired	725 Bytes	`sha256:20c75c17828abed12a9afac2ff04a9a781fec3e7c0799bd8daac143a9d2f17cd`
report.log (xsalsa20) Expired	339 Bytes	`sha256:86154821391e71347c2d27ded7c8f5e3e2c88343bab114bb18e0c525d4a6e810`