Skip to content
EasyCrypt compilation & check

Feature exception #3988

Sign in to view logs

Feature exception

Feature exception #3988

Triggered via pull request September 22, 2025 20:48
@lyonel2017lyonel2017
synchronize #806
feature-exception
Status Success
Total duration 23m 15s
Artifacts 10

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
415 Bytes
sha256:db3dc00ba5f968ebe8ff243c5ba3b5740793e89b67eaf6d304d4bf6284a9a1b5
report.log (examples) Expired
1.19 KB
sha256:c4035337e17217ca94b71bb6a596e8d3ff97bf525af1baefe4792f7e52e0ff9a
report.log (jasmin-eclib) Expired
501 Bytes
sha256:7c3d5cefc560ac271a6ca9a8b02d08143fa85d6bc9fe122b5814724c9c4e4d71
report.log (sha3) Expired
670 Bytes
sha256:969e3f87ad43595cfc06419919f4883600e24562a841bcde36fa6a3679f1b4b9
report.log (sphincsplus) Expired
612 Bytes
sha256:090455c1043ad21f472191545960cf616c3547d2538568988139bcfd1daacdc8
report.log (stdlib) Expired
2.52 KB
sha256:d06d20fe21ebde245ca9f7896c827b7ae4d2cde1a527113aaf48bbc9595a2b49
report.log (unit) Expired
855 Bytes
sha256:950f4d435609b0326cc1f5e1d512db641f2806c64c29a07eb47731efb1bf03bd
report.log (xmss-acai) Expired
620 Bytes
sha256:e4f4317ecd088363bec30ac6316abb6bb0a351881ab9c6e284cd3278ee64161d
report.log (xmss-fsai) Expired
604 Bytes
sha256:42061a4fd6828c134b293269a2e0bf19e37caa173c11684d7b8c5d0730cd1ebb
report.log (xsalsa20) Expired
338 Bytes
sha256:3a8744d81924605b6d60243c9f7c226f1464e313abb4ed7dd515538baa1f27a5