Skip to content
EasyCrypt compilation & check

Feature exception #4084

Sign in to view logs

Feature exception

Feature exception #4084

Triggered via pull request November 21, 2025 15:35
@lyonel2017lyonel2017
synchronize #806
feature-exception
Status Success
Total duration 22m 45s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 46s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
6s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
2m 20s
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
5s
Notification
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
414 Bytes
sha256:c399c5add483b83062cb815ee2e6ae423521743425fbb85b676d7cd8a565098e
report.log (examples) Expired
1.16 KB
sha256:688271dfc838197f153e45c44b148604fde52bf5ad4772e48dcc7425e1a726b7
report.log (jasmin-eclib) Expired
504 Bytes
sha256:572d72db0724f03e34342fcdc7972405838ecfb66ccd3159dac67359ad145675
report.log (sha3) Expired
665 Bytes
sha256:c41555ea968b20579d4d33be98ab164f144fd565b31e23f42b21f49fe23e4ba9
report.log (sphincsplus) Expired
545 Bytes
sha256:fb52b103b14ce1e26b83c64ec4411573de4901e9824ac193a1556539f3d49a54
report.log (stdlib) Expired
2.55 KB
sha256:561e21c77435f25305cd994f5397c4feb6f1ec9838fe0ed960206a1b360ca760
report.log (unit) Expired
859 Bytes
sha256:85e684b044ee1d37ba3dd48b66940551ac6e4247ddd0392a9b78dec945a9f3af
report.log (xmss-acai) Expired
617 Bytes
sha256:052f773058cade8e57c263963d337622b72b5a8687c0a5becb1ceb1436cae7aa
report.log (xmss-fsai) Expired
608 Bytes
sha256:fd86b9cacb40d2e2f80d5134b00329794064d71d219f3bc130ea93058c539e35
report.log (xsalsa20) Expired
340 Bytes
sha256:34ef0b77b2bc1c7a0d6494da162fa4fbb2bf4d13b9557911f83a7a14a0f78712