Skip to content

Prepare for docker builds in CI #4090

Prepare for docker builds in CI

Prepare for docker builds in CI #4090

Triggered via pull request November 28, 2025 17:02
Status Success
Total duration 23m 0s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 48s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
6s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
2m 34s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
2s
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)
415 Bytes
sha256:427dd7721fb5b398fb0e7922998957c2b6bc7187ec474ddd7e4396c7449e8ad9
report.log (examples)
1.21 KB
sha256:de56f1962d7a89840b9851ed9d82139c1fb3cacf0911556bfca750a4431302e9
report.log (jasmin-eclib)
509 Bytes
sha256:a2da11c998e4623d4b91f97bc4823415b0c9e87806806eb42077825407a8352a
report.log (sha3)
665 Bytes
sha256:f5c3ac2f22afe814fbb1f935b8873c262f1da3e9ce516c0b66486c3d476deb64
report.log (sphincsplus)
610 Bytes
sha256:ec937d65dd04d666b3d2461dd888e0ad4d4e1b9671e5f8c319356b56b9cf39d7
report.log (stdlib)
2.63 KB
sha256:d8ea2b7ce39a34d3635c6c5063fb4e42b2590fdd83e8924ac60a7b95ec4d6768
report.log (unit)
857 Bytes
sha256:36834f4391017df2082cac36a0d744226059e84a0c26fbb47edd80f0f3c2f760
report.log (xmss-acai)
627 Bytes
sha256:2b50277119482f3a56f1e3762eec3b928a2ac6d8ca34a83a683f75b3603a735e
report.log (xmss-fsai)
609 Bytes
sha256:7d73f86cf27367b48fa9dc482ab68025eb704456e2c15f740ff8dbe919a13360
report.log (xsalsa20)
340 Bytes
sha256:98c60ee3b07918d27cce77a5c14cbfbdb75436a701d13639be1cb769d2f1a545