Skip to content

[docker] update dockerfiles, add formosa docker #4105

[docker] update dockerfiles, add formosa docker

[docker] update dockerfiles, add formosa docker #4105

Triggered via pull request December 9, 2025 15:28
Status Success
Total duration 23m 21s
Artifacts 10

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
415 Bytes
sha256:5f4aff9fbc68f0ba9b8fa2e771c4ad42fa66208f89556945cf872904653a44f4
report.log (examples)
1.21 KB
sha256:2561a36e77a88a2b6a88db30748b49365e2810427b60c0e702c279b1f957af38
report.log (jasmin-eclib)
508 Bytes
sha256:5ca496ef9e4741a44493bd76508b95a52cec699c5d90ee92b9e891a53cd17016
report.log (sha3)
666 Bytes
sha256:a521d6d397a9864ae442cce0f280b7c3cc69338b6650b74e372acbec17164948
report.log (sphincsplus)
612 Bytes
sha256:6447e3532a1deceef0a6888332c9356b8e3416c9a7232abefc0286975e7c5483
report.log (stdlib)
2.61 KB
sha256:ce8ae8c2d200601601be0760fa6cb58fb127b772d2237702b2c00bb9fd1de0c6
report.log (unit)
866 Bytes
sha256:ad4f3fce42f79395412e06c9304d63473176fa93bc4468d4fd656aadadcaf3d9
report.log (xmss-acai)
622 Bytes
sha256:34da2aa5a33c3301b65ae18a03478e0ccd37947e41fa7ace16795d4d7a497089
report.log (xmss-fsai)
605 Bytes
sha256:182b35a15902e47810b48740d5ba73c4f4734582908bf5dd428bb8ecc2a6e172
report.log (xsalsa20)
339 Bytes
sha256:dfbd96f7f90d2cc4d386e91b283ff8253059df227f24385bc916e70e6770631e