EasyCrypt compilation & check

Feature exception #3984

Sign in to view logs

Triggered via pull request September 21, 2025 19:59

lyonel2017

synchronize #806

feature-exception

Status Failure

Total duration 23m 43s

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

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

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 (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	547 Bytes	`sha256:7543330392338e8b578289fecc95c6d6e2f0a15071f8fec2e6c2be5932fe9112`
report.log (examples) Expired	1.36 KB	`sha256:edfadd6a1c9c4bc9cc6d1323d54896233deabdbf06e5d3f3ec42b8d794329e8c`
report.log (jasmin-eclib) Expired	508 Bytes	`sha256:6a46612d2b9d7b031e85731de21dabdfcdd2adfa3c870da90dedc3f9dcb8cd05`
report.log (sha3) Expired	770 Bytes	`sha256:0e19dbc0cbd03ac9d6e8805cb5635e193dd86daff559c795ada77f8775df1ace`
report.log (sphincsplus) Expired	615 Bytes	`sha256:53d43a64cc763c2f3d87a9221262f7805ee3268285062bf14417bdcfb827884b`
report.log (stdlib) Expired	2.76 KB	`sha256:36ff71089195bce94c7043182951c220bdc76ac2b3e7fa4702199b8349f85e96`
report.log (unit) Expired	922 Bytes	`sha256:566f38175cea59ab368b035b50fc6199f1cd548abeff11d3c2bda62b31e3ee8b`
report.log (xmss-acai) Expired	698 Bytes	`sha256:1279c6f9b4734ca64ba47d39d39a7783add9321351dc2e6cd43a235fb47631dc`
report.log (xmss-fsai) Expired	676 Bytes	`sha256:8dfe7f210bd916e46c6ff7df42a019842c00fc0dbe0e8de5825e21de3e2061a2`
report.log (xsalsa20) Expired	389 Bytes	`sha256:f4b9f9ca08c1dabcb249c5738057606bdf2cca36c6b97649ea494c62d62d2567`