Skip to content
EasyCrypt compilation & check

Service commit (docker / nix / dune) #3601

Sign in to view logs

Service commit (docker / nix / dune)

Service commit (docker / nix / dune) #3601

Triggered via push January 15, 2025 19:06
@strubstrub
pushed dd06d28
main
Status Success
Total duration 25m 25s
Artifacts 10

ci.yml

on: push
EasyCrypt compilation (opam)
1m 17s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
2s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 20s
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) Expired
410 Bytes
sha256:8b54046384893bb836a135680bcf1a95467f7e4885e6b6197591725a3ec74945
report.log (examples) Expired
1.1 KB
sha256:78466d71a4913ed3ed9cb33de9d04f0bbe4d768667c1176c547a06c86862cb35
report.log (jasmin-eclib) Expired
485 Bytes
sha256:59e9cfc826d1f3c6a6778e0f99c6f94fdec5576e5a6673c0ab606d3990441574
report.log (sha3) Expired
666 Bytes
sha256:cf0389a5d900fda5a513f3109febd9d2c6815e16ef34a7f2f32ad1dc5cb393e5
report.log (sphincsplus) Expired
547 Bytes
sha256:acfb363328076ce3e47dea32b05522efcbb6f796a912316bcadf1362022d7cf4
report.log (stdlib) Expired
2.23 KB
sha256:2e00201e3329218ba611dabf6c9a946de179e17affd8bae67c923935e7d254fc
report.log (unit) Expired
660 Bytes
sha256:8acee9365c8ff19f91a5b28d1aadc468e2c6662897a622f74cda600c775acc72
report.log (xmss-acai) Expired
559 Bytes
sha256:e30720c1984ecea7788eeb62ba66caf0a684a13c747e69813d318db4298059f6
report.log (xmss-fsai) Expired
544 Bytes
sha256:6ac73eefae15b3eaf1bf73eba85a85626550ca91dbf62a939f116acce5e14d31
report.log (xsalsa20) Expired
338 Bytes
sha256:395a7290bc193856a118ef457cbc6a4cbab6f64f11222fe95e42e7327b00de35