Skip to content

[docker] update dockerfiles, add formosa docker #4086

[docker] update dockerfiles, add formosa docker

[docker] update dockerfiles, add formosa docker #4086

Triggered via pull request November 22, 2025 11:32
Status Success
Total duration 23m 38s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
3m 2s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
5s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
2m 19s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
5s
Check EasyCrypt External Projects (set-status)
Notification
5s
Notification
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
414 Bytes
sha256:a97acf90acf78577016fc67d46d024ef53213c30a6a3a9f960d2f99a8504ebac
report.log (examples)
1.21 KB
sha256:6850d3bd4e31b285124e5f876b7c9ff306600789ab396fb8c4269f641a8fb7a7
report.log (jasmin-eclib)
512 Bytes
sha256:945bf12b0496ac5a3447bf8c8bb2d953f8efda1d9227a9c9d1ccb4dbbc467bce
report.log (sha3)
663 Bytes
sha256:ab4be59c7e7977819b51298b2a3890a8daeeb5a120daa3fbf34e3649fdf39087
report.log (sphincsplus)
614 Bytes
sha256:f43e615067c016c98117882fbe5d395f07a34015c512489e8a73be2304b3a3a9
report.log (stdlib)
2.63 KB
sha256:a7509426d438fc45a7bf391d0afbf846c16b2721500b76fb427a21552e74c95b
report.log (unit)
860 Bytes
sha256:40d995c1fdb24a6c809514c8d71bec5e16f15b427e1ebfa7c783d13adaaffdc5
report.log (xmss-acai)
626 Bytes
sha256:b14e10650d52380ac67fb957a97300350e852d25c7e31f97d2131e3e7a44a76e
report.log (xmss-fsai)
601 Bytes
sha256:1d5d584038ad72867705077e4ca1eff06d5f7418523eade60080aa66d4e87c1d
report.log (xsalsa20)
340 Bytes
sha256:b1d1eaec2a92625849b9a0b5370b03b313d8baa35420da9799922012cb1b4cf7