EasyCrypt compilation & check

Making program logic formulas memory-agnostic #3867

Sign in to view logs

Triggered via pull request August 1, 2025 15:06

oskgo

synchronize #789

softcode-memories2

Status Failure

Total duration 8m 29s

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

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 (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...

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 External Projects (set-status)

Process completed with exit code 1.

Check EasyCrypt Libraries (stdlib)

Process completed with exit code 2.

Artifacts

Produced during runtime

Name	Size	Digest
report.log (cryptobox) Expired	558 Bytes	`sha256:8b5de7306ac3a40de20d76045f3796c46d1e922117c8490460da520a702fcd3e`
report.log (examples) Expired	1.7 KB	`sha256:d26b2617fb05b7a9b79617de5000cc276885aecd434c718ec19703f6a425b058`
report.log (jasmin-eclib) Expired	510 Bytes	`sha256:61f771f5ebb837c1ed401e821d9feec0163fb679e600f12eff535dff44307ece`
report.log (sha3) Expired	903 Bytes	`sha256:bd45b58dbe72f2fa7407e2f3866ae83f040aa7dc95f9857702bd0e1df57c95c1`
report.log (sphincsplus) Expired	688 Bytes	`sha256:45919b48b16276f82807e07664545ae877d586f31e3d09ae5d37c35150d84234`
report.log (stdlib) Expired	3.25 KB	`sha256:9453bda2941208dc146c46bb876eb1ff2b01e895495a09ca6f9608c91db67bf3`
report.log (unit) Expired	831 Bytes	`sha256:2f459eebd3e25469f722d98c17ab0f565cbf1f098099c36dff1ca84c52c22467`
report.log (xmss-acai) Expired	757 Bytes	`sha256:7e15a02e0bad6ed144f4682978041fdaf21ca6bee6a466b1e9034bc96abd261d`
report.log (xmss-fsai) Expired	740 Bytes	`sha256:fc46d7aed8d60d02d786e88c39617834600ed5387e86dffafa75856ba7b671de`
report.log (xsalsa20) Expired	405 Bytes	`sha256:b9845fb87ee551a0cece8f75557da42024a6f916172a74dd465fd926877ee946`