EasyCrypt compilation & check

Making program logic formulas memory-agnostic #3931

Sign in to view logs

Triggered via pull request August 29, 2025 10:20

oskgo

synchronize #789

softcode-memories2

Status Failure

Total duration 17m 19s

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 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	593 Bytes	`sha256:ac26eaae82cf3663a9d6a3763312e7fd035e397f58353820784a5baa54078f1a`
report.log (examples) Expired	1.39 KB	`sha256:a8867fbf9996467f777e21e67a0146ebc1a093b1df1f2b3b3c57df5e18a24e5b`
report.log (jasmin-eclib) Expired	509 Bytes	`sha256:168e9373f9d1f580229e722f9e8bbe87fcc9e112df8a4a36e816b22f3798cabb`
report.log (sha3) Expired	835 Bytes	`sha256:4f52d5de1d50151814335736e0d2510d65a20894e52c457dcbebb2216cc40b91`
report.log (sphincsplus) Expired	731 Bytes	`sha256:fc89bed1afd6c880b4eb5e9c7e14e6d9cb7a0fb07753bb9efb8e01c8a3bb133b`
report.log (stdlib) Expired	2.72 KB	`sha256:6b00235a070cdfa55300078fd18ad9093ab5b5c1b7fcba274488bacad88a801b`
report.log (unit) Expired	840 Bytes	`sha256:d6dee3840eecb2b2c54699e27c7e63b4c79b97fde1ed85de5b3e0555bccff061`
report.log (xmss-acai) Expired	732 Bytes	`sha256:bbdb8e6bcc4454051fe2c90e89a1f20687455c302bbd9c43afdb85f84269a9aa`
report.log (xmss-fsai) Expired	719 Bytes	`sha256:9589b74d470c36b9cc0f7773d5c8a67779f5d5690de43b72c97eb81d7eba0736`
report.log (xsalsa20) Expired	413 Bytes	`sha256:fafa4eb7bcbd50218bfb6bcb3010eedeedae1d66c577b45cbb1f58b5621cf4cd`