EasyCrypt compilation & check

Making program logic formulas memory-agnostic #3921

Sign in to view logs

Triggered via pull request August 27, 2025 14:59

oskgo

synchronize #789

softcode-memories2

Status Failure

Total duration 16m 37s

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	667 Bytes	`sha256:85fe4b79a7133af77e06760cfc2e4497ac85bf2b02e4dc9b732da5033e71d169`
report.log (examples) Expired	1.51 KB	`sha256:7ef179adafbd6553514d73e18c02da7b0aaa8bbf658c1c510fae5e9fbd156291`
report.log (jasmin-eclib) Expired	508 Bytes	`sha256:83894a0bfe64d8112e44aec05f1146f5d3c7ef69de815c3f796d06972f5b827a`
report.log (sha3) Expired	841 Bytes	`sha256:f132dcca5871f26f1c3286aff563659f7d3f02f0bbf5bfa51d1d6baed3b7c81e`
report.log (sphincsplus) Expired	693 Bytes	`sha256:43337b1955eb2b1f7a2204fd91ccb241ea2f7cc72ef9181d8bce2f81de2eed29`
report.log (stdlib) Expired	2.83 KB	`sha256:fd45233fec25ed5744f9a6e6ca2d4711df63e7e674bee2179a1fd087e1028aab`
report.log (unit) Expired	847 Bytes	`sha256:e870a6bc3d3a0ff8478b0f5c18e78d33a1fc3e9501a9242c946defe161a0c619`
report.log (xmss-acai) Expired	781 Bytes	`sha256:183d21f449b995964e9c62ad390486a44a822044c2c007cc9d214f3fed96d334`
report.log (xmss-fsai) Expired	764 Bytes	`sha256:45af545823c06554004b002c21a704889c4f4318e21bd2196228270953495e02`
report.log (xsalsa20) Expired	340 Bytes	`sha256:2d1893a1de80e9ad731df5aa7968a502c309d823748ab48acb43b3bf32e6f4d8`