Skip to content

Build docker images in CI #4276

Build docker images in CI

Build docker images in CI #4276

Triggered via pull request January 30, 2026 15:35
Status Success
Total duration 26m 15s
Artifacts 10

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
414 Bytes
sha256:c42e6dbea2b0a6e9e7aaa90b902ab754d42fe0cb4b1aee56d9d70ed05166e5fb
report.log (examples) Expired
1.17 KB
sha256:badb40513a0eb1017044fd548c84bad99786d2c31068b9a5dadae8bf872d7700
report.log (jasmin-eclib) Expired
509 Bytes
sha256:0e688c4dec7284c17c27101e092a9b37b8214aaec825586957a7a10c71b4ff45
report.log (sha3) Expired
663 Bytes
sha256:43fd9bf88bc3ad7d6aebecc135efa292be84d78d14a39041c4a3f976ab3a0c78
report.log (sphincsplus) Expired
612 Bytes
sha256:cb81be5250fa8febd8d0a30361ecd02bf20055a7095812393ed28626022c16af
report.log (stdlib) Expired
2.64 KB
sha256:ef1fbb2265b3f9c18719dadcc8b9991600e51bac4108ae5f04d710550cff47b2
report.log (unit) Expired
1.05 KB
sha256:14121c2201540c58df72c168d0a6d21375cbb5a5a83b34559021baedcaf4a76b
report.log (xmss-acai) Expired
626 Bytes
sha256:afcbb3f8c4804d8607f796b17f08e6aa98bc2ef25a84392e5d96f8d0756a5de4
report.log (xmss-fsai) Expired
608 Bytes
sha256:f16beb3c4bff37c9d92323ae1965e83e16c1edc6856bd3aefe08bad1e8680c89
report.log (xsalsa20) Expired
338 Bytes
sha256:ea48c811684b29d4a9d5d7618d1ec5e870872d71ab4b9e019d16dc51cc21ed92