Skip to content

Build docker images in CI #4323

Build docker images in CI

Build docker images in CI #4323

Triggered via pull request February 5, 2026 22:06
Status Success
Total duration 23m 59s
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)
1m 41s
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
8s
Notification
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
413 Bytes
sha256:a3082af8e311cc68a7f3f7ffdf9445b08f65860fa0ac224f77e4c9f3e10b6f8d
report.log (examples)
1.23 KB
sha256:4cc370c62ac0e76047519cc172fedc437a6dcdcdea6467fc82ffe1eeccf12505
report.log (jasmin-eclib)
512 Bytes
sha256:6d9c8bd7bbbff4a329d4aa1fad64c694f0ce590f49a141d436697c3e2382572f
report.log (sha3)
674 Bytes
sha256:d66d93f0aa63fa7438341a19735cfe273816e4de4a59704fcce49216125182aa
report.log (sphincsplus)
544 Bytes
sha256:b958ef5722535729c8d276d9f2ccf7c3f28373f8afb7c2a33be59ae046c894fd
report.log (stdlib)
2.63 KB
sha256:5a77ef15b23c316da6065f0ab5bd13f9da0ae9881a60b2c53414796798fecb77
report.log (unit)
1.06 KB
sha256:cbcd98e7e53f729b63b27c8e1f4ee061bf1005271933fa1b702ed64a5c8fa15d
report.log (xmss-acai)
621 Bytes
sha256:8d58920df0f979027f3159060b3737399052d1af492430d22e1618a891105302
report.log (xmss-fsai)
606 Bytes
sha256:5153190a9ac1230fcdff245066dc599d82056bee2f67feaff161d6f41a49a1fa
report.log (xsalsa20)
337 Bytes
sha256:e0e262159a16619b024ea5a7f658c041bb8231fae45161c0ff043648b54418ad