Skip to content
EasyCrypt compilation & check

Feature exception #4011

Sign in to view logs

Feature exception

Feature exception #4011

Triggered via pull request October 3, 2025 09:19
@lyonel2017lyonel2017
synchronize #806
feature-exception
Status Failure
Total duration 23m 50s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 54s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
5s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 18s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
3s
Check EasyCrypt External Projects (set-status)
Notification
0s
Notification
Fit to window
Zoom out
Zoom in

Annotations

7 errors
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 (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)
413 Bytes
sha256:a8b3a9bf36bf36def0aff89da45810a49c959fb249985de453891ea48c3f256b
report.log (examples)
1.26 KB
sha256:38f68ed4e3b07a5c7c7063993563832727951ca0a2e59e84afbbba249106eec4
report.log (jasmin-eclib)
507 Bytes
sha256:9f945d6694a3ae82956c6ca7eb1c39ab0d1364fbc85b8626be18be5744d9a31d
report.log (sha3)
836 Bytes
sha256:0c5451e56ac29b47d13f190f0cebe39bc4b3d4bbd0d3323019d989b9b2c193db
report.log (sphincsplus)
686 Bytes
sha256:0bc9880c60e62ee2dddc14e3c6395e1fd433279757edb6e62dd0e60f0639b35f
report.log (stdlib)
2.94 KB
sha256:a0bda446343afd4bee46ca616147032ffb7325e562c55a4a54fe704bf617552f
report.log (unit)
859 Bytes
sha256:28d40dba7bd499088df6d30c3fe0e473418f6519d3034d29b15faf1d90080a65
report.log (xmss-acai)
854 Bytes
sha256:9ca8771a822a5170512019bee214953657ea5a0f3f40a46abd89f38e4bb21b3d
report.log (xmss-fsai)
838 Bytes
sha256:ee29c81a352ec11c18e67c963089d0e20cffd5d3c4fb5cfb9c222189b8b2ed34
report.log (xsalsa20)
339 Bytes
sha256:814f2fb31c7415de367f9849df6ea71c80d12f3fc7c8a410cc0c3f2c6a3e056e