Skip to content

Prepare for docker builds in CI #4089

Prepare for docker builds in CI

Prepare for docker builds in CI #4089

Triggered via pull request November 28, 2025 16:47
Status Success
Total duration 23m 43s
Artifacts 10

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
409 Bytes
sha256:6ddd2f849aaa7cc56f4db8310d05dd281414d14069f532b562a130be1caeb15c
report.log (examples)
1.2 KB
sha256:dafcef75ea8774732bbc4f1373fe394b568b4e054ec85b599f49eee6ced68663
report.log (jasmin-eclib)
511 Bytes
sha256:e68870355b15c2db9853681e5709ddc73f77d5cf8200d3b4cdd177d175439f11
report.log (sha3)
673 Bytes
sha256:c615b75d9e4e5186295fdfeecc2bae2a3c8b0ecf873438943b566d72dbd6f94e
report.log (sphincsplus)
613 Bytes
sha256:a65fc30eeedf362bca7aae5dddd83e80c52f5da022429c8d9686707ef8ccdc64
report.log (stdlib)
2.63 KB
sha256:6e977ffc3affe916935b7173528750f33e8a8b2fa631686b0731aa9bb6540923
report.log (unit)
862 Bytes
sha256:0ac54d8a1014284c5d9a834685cf50b4c29b97636553b7d0f894228374bf91df
report.log (xmss-acai)
620 Bytes
sha256:cc96a1bdcf74e629bd00b2736b7aa4e8a0bc17075d98b5d44cdd6b2cdfd51ef1
report.log (xmss-fsai)
542 Bytes
sha256:e3690cd219da12bd790b9a21e2b2961e62d2d2d9230bbf337f9ecef8eb3cdc71
report.log (xsalsa20)
339 Bytes
sha256:baf556a4998a1fd4757359e896672ac7fa50a0c98cce1171240f98844556324a