EasyCrypt compilation & check

Making program logic formulas memory-agnostic #3873

Sign in to view logs

Triggered via pull request August 5, 2025 09:05

oskgo

synchronize #789

softcode-memories2

Status Failure

Total duration 8m 59s

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 (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	559 Bytes	`sha256:1646c84e00a780d7beb35508feac6540bbd0a0db9673b42b487ead2add164942`
report.log (examples) Expired	1.55 KB	`sha256:c2abcbcf48025d3859763a6409b1888e8d9cdcfe212670911e3c0ec4d9b5a9ab`
report.log (jasmin-eclib) Expired	505 Bytes	`sha256:f57768f4e2140d95c14de96911857f944fdd1df44eeda95219728c0f92a941b7`
report.log (sha3) Expired	901 Bytes	`sha256:23419ab981270ae4316b529971bd3d74d7086d2e493bdc022474254e742513bd`
report.log (sphincsplus) Expired	657 Bytes	`sha256:1db69ddbc6079da9c3ec9f0868235d67c41bc2274782b53325eb0f4f3345d7a7`
report.log (stdlib) Expired	3.01 KB	`sha256:bb2ae1606422ade705efd67b07d1b3b796101b9f5c6288017bd5cb4be83c5128`
report.log (unit) Expired	827 Bytes	`sha256:f517c86fc1ab33e3e7816979704eb10ee374c0e82f8509dc97449159255ed787`
report.log (xmss-acai) Expired	744 Bytes	`sha256:f077d65c2fb3458e5c52b1e38a626d87b95ac89af1b23238c9cbbd206a14773d`
report.log (xmss-fsai) Expired	736 Bytes	`sha256:d5eb82e4f36171a48ca11acffa50c14534ffc75418cd346ce6afa2feba1d1377`
report.log (xsalsa20) Expired	406 Bytes	`sha256:c7081b27314dfd8ac16fcbce70014fad96ce7bfdf62a18b6c1e616c862cbd9a5`