Skip to content

Feature exception #3986

Feature exception

Feature exception #3986

Triggered via pull request September 22, 2025 09:36
Status Failure
Total duration 23m 10s
Artifacts 10

ci.yml

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

3 errors
Check EasyCrypt Libraries (examples)
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
484 Bytes
sha256:22252af96f6274e4b56492ad364f12eea9220dd67f244cb4ab00bbf778a8d18c
report.log (examples) Expired
1.23 KB
sha256:dc444179aa280ef3bdee348b6575a82481aea12ffae9d7d968bebf77f6a59aac
report.log (jasmin-eclib) Expired
506 Bytes
sha256:d996f5275f50409ce687a6b9d28b6dab3677075e5e31df453564ee6a52343b0c
report.log (sha3) Expired
670 Bytes
sha256:fb35beefae71c22b7830805195c7a1d0ccad16b1f6b40eb4756534deaf24cb9a
report.log (sphincsplus) Expired
611 Bytes
sha256:ed02a13c1e6ddead83fb5f005f1bc241fa0ee384751a32ffe6c6fd0bca462873
report.log (stdlib) Expired
2.56 KB
sha256:12169e530720fd705625ceb91b24c6a51a7da580d7286eb6ac779fbcd5413078
report.log (unit) Expired
850 Bytes
sha256:2170ae934cef674c8a56d22bd8cdb3c5469af5efe228d09528727a0b01bdb540
report.log (xmss-acai) Expired
627 Bytes
sha256:ee32c999d6336ce2c6e3970a75a789fade73c55a34121878489e9d5bf7e1176e
report.log (xmss-fsai) Expired
606 Bytes
sha256:0e41172370ea68d0fa0ac2340c64e8c47453af051d1a9f5f3f86f54dea111ae6
report.log (xsalsa20) Expired
338 Bytes
sha256:fd129eecb2efa591c06b2d040424b4f234993fa1840d42395d6658bd66ad9191