Skip to content
EasyCrypt compilation & check

feat(unroll-for): propagate constants after unrolling #4391

Sign in to view logs

feat(unroll-for): propagate constants after unrolling

feat(unroll-for): propagate constants after unrolling #4391

Triggered via pull request February 20, 2026 15:21
@Gustavo2622Gustavo2622
synchronize #909
unroll-for
Status Success
Total duration 20m 47s
Artifacts 9

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
414 Bytes
sha256:cd34f5eee129e9503a0407487296eb2534248c5a9a0abc45850e6c862ec27d32
report.log (examples) Expired
1.24 KB
sha256:57d6c5f5dcdda6e06fba82741c067502e9cac00aaf9a9bfa111ca10c20e9c418
report.log (jasmin-eclib) Expired
511 Bytes
sha256:76122f320d5b567c9e07286356638b288a3ee8d6c1ab499722e45d11cbbd0d02
report.log (sha3) Expired
665 Bytes
sha256:8d87ea92e61200bb08b29ee025fd904dda511335329cd0b036cd0e36ad6861da
report.log (sphincsplus) Expired
547 Bytes
sha256:79f391a17bcc686a045841fd36689e0901fa519328b41444fea6883891e5cf93
report.log (stdlib) Expired
2.63 KB
sha256:dbf3136ff4393cc0861342ab1b601b96f142080b7ec3d6b0f276f3628ddcb12a
report.log (unit) Expired
1.07 KB
sha256:01b211a7a275e8825346d0c2394032716e61454e1b6fb25887211974800bdfc4
report.log (xmss-security) Expired
581 Bytes
sha256:af8512dd8a1a2247142cfe14bc110c7e0e3c5a63b837e23038d7f0effaea8eb0
report.log (xsalsa20) Expired
337 Bytes
sha256:7f597e75c880934e2a78bb2a25ae12227de43a92cdece77e55532a19d98872ed