Skip to content
EasyCrypt compilation & check

Refman skeleton. #4192

Sign in to view logs

Refman skeleton.

Refman skeleton. #4192

Triggered via pull request January 19, 2026 17:58
@strubstrub
synchronize #868
sphinx-doc
Status Success
Total duration 29m 34s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
3m 0s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
3s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 40s
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) Expired
413 Bytes
sha256:87dce2d657ea833b188763700dbb6ed7c121565f2c4532a7b3e49dd0206ae2c7
report.log (examples) Expired
1.25 KB
sha256:888976b09ff3215a82942febcb6a054758e44b9e03ae43d894db7e7b6d0f3479
report.log (jasmin-eclib) Expired
515 Bytes
sha256:672699ee1d271b06a1c16f5339e243f55383070a495477945fd34aae04d68673
report.log (sha3) Expired
668 Bytes
sha256:1506d81f9a08a2377c3a7d0e72e7e6ed3e106a97e5a2b55d38731585411c739b
report.log (sphincsplus) Expired
606 Bytes
sha256:ba23a27d870339e2c2c4708d25c7ffb3cf7dca3f272c1141b57d3624f4cbd70e
report.log (stdlib) Expired
2.63 KB
sha256:2b95b438cd29b54660ef18f5187994305d699bb2848a25ce8eee72f25af5aedc
report.log (unit) Expired
1.01 KB
sha256:74b095a525439713e885985a337a52f6f47dcf6be4e9f4b06d0b0225dfe9cbae
report.log (xmss-acai) Expired
620 Bytes
sha256:cd0163cb8f006c229b46d8130764b2421912fb90308bb4290e6141e5a6a2f760
report.log (xmss-fsai) Expired
611 Bytes
sha256:71d1ea3c95d769e1ac75086feba6106d62aecd417b1675dd99cfb25959909522
report.log (xsalsa20) Expired
340 Bytes
sha256:09a97b3eebb72813dc55069c1dfe4d5477e8a44c3a2898ad03b1a9fd2637c6bd