Skip to content

Build docker images in CI #4264

Build docker images in CI

Build docker images in CI #4264

Triggered via pull request January 28, 2026 19:43
Status Success
Total duration 24m 32s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
3m 1s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
6s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
2m 24s
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) Expired
412 Bytes
sha256:7886e3fa467d8f810f227e0a267100c3e1a7937f56763dfd47b68b375d147296
report.log (examples) Expired
1.23 KB
sha256:daf324fe7ec2599da9d0d430158383bbb2dec2d008721659304b3a224a4c4198
report.log (jasmin-eclib) Expired
511 Bytes
sha256:9d18f3a80edb29fb2cd13474bff7d12c1d069046c877f2e053e13b88e30c907e
report.log (sha3) Expired
666 Bytes
sha256:1547ca0c63c9ec4fbb8f40121249249cd402fd255a47d33cfe42f00bca0bf0d0
report.log (sphincsplus) Expired
615 Bytes
sha256:d71b66082b5ffb2f9faeaa5df1ef609353ee2642d7a5dc7d81d095d72f8f0b89
report.log (stdlib) Expired
2.59 KB
sha256:ac49729cc79865f8a64f614b1ba2a210d0a7de0cc9a6556cc9c9f6ada6faa59b
report.log (unit) Expired
1.04 KB
sha256:2a8566806d8eddf6f9b18cfeb91cdd40f2c69cd99b7f7f609c30c5a404b59510
report.log (xmss-acai) Expired
623 Bytes
sha256:7932c86be075b2a4fb3092c801c71f0e0463fe5beec0693b95196c91f05741af
report.log (xmss-fsai) Expired
603 Bytes
sha256:cd101f87bc85394efdbd127c494b90bcd449e643d8a237b7a9caa671125f9e42
report.log (xsalsa20) Expired
339 Bytes
sha256:a2947ad2537465b11d7b8674558ba47e7734ed962779614259ad70f000cf21ba