Skip to content

Prepare for docker builds in CI #4096

Prepare for docker builds in CI

Prepare for docker builds in CI #4096

Triggered via pull request December 2, 2025 11:02
Status Success
Total duration 23m 59s
Artifacts 10

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
414 Bytes
sha256:9499595799f20584f5b195054344cea86fdf6888ab670e9d0f3344c78ab39ca5
report.log (examples)
1.21 KB
sha256:e732aedcf924355b5508dbe56dd5c5b4fbd89988f095af963b975518928005d4
report.log (jasmin-eclib)
507 Bytes
sha256:49801d8b27e8efa307e09936d9ac119e3a2b0d338a4084241c528d850b583780
report.log (sha3)
670 Bytes
sha256:e0247dfe810ecafbf36404e38188b9357e72bb9127644bd03b228a86f0090f38
report.log (sphincsplus)
547 Bytes
sha256:a3f0dad09ce30b186db4e33bb167c578530994d80f6692d8d52f8c81e13127a4
report.log (stdlib)
2.63 KB
sha256:5076b7334edf46083f7018196de6954b836c26e74a178a3f4e0de5fb79bf5bf2
report.log (unit)
860 Bytes
sha256:30a28e3c46f221b00ba5fd644442105d1baae7826b072abe8c22720e45b27b7e
report.log (xmss-acai)
619 Bytes
sha256:d445d619052de11a3a0489533c96da7c4f6f81c36b7aa4ee566013f6692c6635
report.log (xmss-fsai)
607 Bytes
sha256:ecb54fba141933904b8ea075a5282b7aabb5e2d94e460135a88c7db15fd114de
report.log (xsalsa20)
339 Bytes
sha256:60d6e0ad44e6e4d470c862789911f3a32576978576e06c92a9d9a49950238d6d