Skip to content
EasyCrypt compilation & check

Feature exception #3985

Sign in to view logs

Feature exception

Feature exception #3985

Triggered via pull request September 22, 2025 07:34
@lyonel2017lyonel2017
synchronize #806
feature-exception
Status Failure
Total duration 23m 30s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 55s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
6s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 19s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
4s
Check EasyCrypt External Projects (set-status)
Notification
0s
Notification
Fit to window
Zoom out
Zoom in

Annotations

6 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 (set-status)
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
479 Bytes
sha256:60b4fb0389e18f1d97289566f2dbd9ca39ec511d464f5d5d833c64001bdca6c3
report.log (examples) Expired
1.3 KB
sha256:93ef81a12c8dab4d9a846d61213292dbad913152c9604deac42eebbe09a37c52
report.log (jasmin-eclib) Expired
503 Bytes
sha256:6fa896e6827ad35a99ad8e4f4895510b7c94dc054d73b0227b84ba73df81ab2e
report.log (sha3) Expired
666 Bytes
sha256:e2a7b0abf3d3603f63c536eef8de5ab62fac1f7e96eceb5db1c833eb3973d7d1
report.log (sphincsplus) Expired
545 Bytes
sha256:2a8f3aefd7b7a09fe0d0342c90d541b925adf596570edbb6acbb0f00ad6cda30
report.log (stdlib) Expired
2.66 KB
sha256:b7d8eef91d498ba3bae961b884bab9b1947bf8a1fc016ea0cda76f8417ad02ed
report.log (unit) Expired
930 Bytes
sha256:39bbb8a7d13cc0040e80e3afd95f9aee541405e8627d13370886450495e52e15
report.log (xmss-acai) Expired
624 Bytes
sha256:d6a9fc401670a30c276ef3b8a344b3645b1a851dd6fe19f779f613710df9d7de
report.log (xmss-fsai) Expired
609 Bytes
sha256:62c2ce938d6328e6a091e5f4697f532b3281401c19063417897d8795ad279c8a
report.log (xsalsa20) Expired
390 Bytes
sha256:faab97966cabc384efa073654e1ca8bb48a986375ff4d4eb1373ca7729debc49