Skip to content

Feature exception #4130

Feature exception

Feature exception #4130

Triggered via pull request December 30, 2025 18:13
Status Success
Total duration 23m 36s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 59s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
5s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
2m 38s
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)
416 Bytes
sha256:3d34cb455672d4e1148b970f0d06ac3a8d3cc2fd0f0b57c35fac4f2ee99899a9
report.log (examples)
1.25 KB
sha256:03906abaf3d02498af4965fed7c2e374c816d74c908cf4395a816960a5a3a13f
report.log (jasmin-eclib)
506 Bytes
sha256:edaa5fca83a367e6b3e245526a479ec6acc9dcbf640ff4ec6bd8b63658b3ca7c
report.log (sha3)
665 Bytes
sha256:723f047562e5ea503ff1fbbcfd0d78397d3e64e4b95e6386331c9ee2924fbc89
report.log (sphincsplus)
614 Bytes
sha256:e20865f800730992aab4a9872672e5691dbba681e78845334e99915c8661d71f
report.log (stdlib)
2.61 KB
sha256:e6778d4b23976db440b6495371f25ece4ce45e010951c071c5eb4a20dbb5bd2e
report.log (unit)
1011 Bytes
sha256:869bc8856a336bbf183eaed8405286c357148a14fdd483aa901f45cfc6d1ac5e
report.log (xmss-acai)
621 Bytes
sha256:03c6d74010428558935876fde6cba8bb116c3b8268037892bbec56e86a9bf2e3
report.log (xmss-fsai)
602 Bytes
sha256:cf4339b666921f8f669f6dab85f339b4d2c5fad80d81dc0d7bafb3f8a0342029
report.log (xsalsa20)
338 Bytes
sha256:4e1c12ef47db540321475c03c49df0f5a88cc4744486d755fe099c214551565b