Skip to content

Feature exception #4360

Feature exception

Feature exception #4360

Triggered via pull request February 12, 2026 18:19
Status Success
Total duration 19m 55s
Artifacts 9

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
414 Bytes
sha256:290a2381e71ddc26dae87c8c7ce862cd095f21df5542962a4b8451abe0f4a9c2
report.log (examples)
1.25 KB
sha256:62dde9cd7bdc43aa054637c1e4e1891be6a2390c6d36c3cc88a2691fcc4df51f
report.log (jasmin-eclib)
511 Bytes
sha256:34c3157ad1b66a99720a762c6cb756a5514dcac39a4f9cfb8966be698ab0f670
report.log (sha3)
676 Bytes
sha256:5284a979b2febec82f0e7b77a1bafaa980e3b76c287f08bde7c22ba297c65e67
report.log (sphincsplus)
543 Bytes
sha256:87b3fd9ce1cddbdbbc8be22af400b397451f905d4578fcd94fdfae7778008154
report.log (stdlib)
2.63 KB
sha256:71e381cec6f6a9587ec047bcf392f09a210e17efc59ad3b6855958449469b35a
report.log (unit)
1.06 KB
sha256:0ff8dd20556aac32df3d432b90d120a0f9c164d2afc43190568c7b9ef0bb55fb
report.log (xmss-security)
577 Bytes
sha256:58ed29140ad6de557f58b28773ca676898ae7e2f3e11e94332fda2ebf6a37f7a
report.log (xsalsa20)
337 Bytes
sha256:336bd25a76fa20a858a2aff733ebd12f48ac29722bb25cc73c8cc4c6b8bc0298