Skip to content

Add framing to proc change #4413

Add framing to proc change

Add framing to proc change #4413

Triggered via pull request February 25, 2026 17:29
Status Success
Total duration 17m 16s
Artifacts 9

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
414 Bytes
sha256:170603a73a0b18dca7527f68c3702e9d9da0761adb958b4e4f1f8ccd14508906
report.log (examples)
1.25 KB
sha256:a2ebdf976c6c50463a13a855d4b3a7921e99c0283401b3a17e83b70eb81b38dd
report.log (jasmin-eclib)
511 Bytes
sha256:b0c549ced6c59ea994fb85bd6339939fe9bd0f5754d05c42205a19a8552142b1
report.log (sha3)
671 Bytes
sha256:fa619abf92e7d3298c1e227cb3fc614675fb03c8a01ea831eb25469051473765
report.log (sphincsplus)
547 Bytes
sha256:0c4159be1e089f7339bf57efc9567a63e610264da84973228d3033f0b40b996b
report.log (stdlib)
2.61 KB
sha256:886166d4297c1da2706cb4c56c8f6b09127aeac811902af710585491b879ab0a
report.log (unit)
1.08 KB
sha256:a18c9a379bfbc4f97cbb9af7aef0c863b85961096eb5da20190c65c2689b74ba
report.log (xmss-security)
580 Bytes
sha256:ce9720a1adfd8a54c5608a3b09dc9b5c98f6a9ff821122e43ddecf2091fdbec5
report.log (xsalsa20)
338 Bytes
sha256:1e67cbdf266caaa0cdf66bb1f0f790aad0a5c274b891e74e7b79a8231848d4d5