Skip to content

Permutations as a group + uniform distr #4263

Permutations as a group + uniform distr

Permutations as a group + uniform distr #4263

Triggered via pull request January 28, 2026 13:46
@strubstrub
synchronize #873
perms-group
Status Success
Total duration 23m 31s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 54s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
4s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 43s
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
415 Bytes
sha256:b1fd7ee820cb38705678bfb5c9c46cc95501ec02bd890b7c5dcdb274f5b4f7a8
report.log (examples) Expired
1.16 KB
sha256:7448eb1ef7d70cf72a4fe59381f079ab5a5400be19d322a97f9a6d31d6e2da49
report.log (jasmin-eclib) Expired
514 Bytes
sha256:92c778e5a7a790646c3c0cf0dec4238242c5620daf96f25c70f234eb3c1657ff
report.log (sha3) Expired
667 Bytes
sha256:eed869574714dbeafd3d0704b0c65b2c04785828d74b26d25a4daa2b68878ca8
report.log (sphincsplus) Expired
611 Bytes
sha256:3f6a98966c429fede1eafbcb9cabd77ac76d3edc17bd8644cce04dbb6adb475c
report.log (stdlib) Expired
2.67 KB
sha256:96733c31a2ec25fa8a1ab5d53bdd1d394295905ed57486070446dc93099d5bd2
report.log (unit) Expired
1.04 KB
sha256:41b83fb8abc79cb3269769ed38cfc8e5a07e8807665066a00ec44bc6606cabe5
report.log (xmss-acai) Expired
619 Bytes
sha256:128a24ec05836cba7caa506eebc0969a691043e122dfba4b0d1f475ac14589b8
report.log (xmss-fsai) Expired
606 Bytes
sha256:6269e6f440ad54bcaf80063827bcba72410499a19204e1754702dff4463572cb
report.log (xsalsa20) Expired
339 Bytes
sha256:63b9bf4229946dfa8042ee67bfbc023830cee74b0d088e5015142f4de91d6a16