Skip to content
EasyCrypt compilation & check

Feature exception #3983

Sign in to view logs

Feature exception

Feature exception #3983

Triggered via pull request September 21, 2025 19:49
@lyonel2017lyonel2017
synchronize #806
feature-exception
Status Failure
Total duration 18m 20s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 51s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
4s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 32s
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

10 errors
Check EasyCrypt Libraries (unit)
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 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 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) Expired
525 Bytes
sha256:956a9e2c91b62183d9e8da51ae842c9e8865c580df369b824be594c051dcd6f8
report.log (examples) Expired
1.35 KB
sha256:00c35f574435dfec15f7d7ae3b5ebadd27f91729e54a56255325181ca203c2b0
report.log (jasmin-eclib) Expired
504 Bytes
sha256:a09b651fe87bdeddf0109467e671c5ded32f3258e6d208bf28ef68669086caeb
report.log (sha3) Expired
777 Bytes
sha256:10563133eff8b95ca72efc33a05b1404529a48d8dbca54acf86bc762ad513ecc
report.log (sphincsplus) Expired
631 Bytes
sha256:b4014c73d09f9da732e212c02675c0d75c0b57f837423817ca94719e3c24c88e
report.log (stdlib) Expired
2.78 KB
sha256:b37ef733a8c833ce14a6a32f2551007fb6e1cf015a87c9137fec6ffe5427fffe
report.log (unit) Expired
920 Bytes
sha256:46cf602f8bfbb2695b5160d77b6a2aff39d33c63b1e399cbe6c7e218cc0177c6
report.log (xmss-acai) Expired
716 Bytes
sha256:9b713d4d5ebf0712bd37e93fe4f56da4964da2d3d86da60141e8a0c7e86414e9
report.log (xmss-fsai) Expired
692 Bytes
sha256:e7a3a86cc1cb953cca7eed585008f8a0e215259ef4045750361a6cb4d94b9bc9
report.log (xsalsa20) Expired
457 Bytes
sha256:fc7bd72162bd2135be58fa6306ea2c719f60da8ccd733bada937d9204603aa04