Skip to content

Inlined documentation #4099

Inlined documentation

Inlined documentation #4099

Triggered via pull request December 2, 2025 16:46
@fdupressfdupress
synchronize #783
inlined-doc
Status Success
Total duration 23m 45s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 53s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
4s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
2m 36s
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)
412 Bytes
sha256:b07f65cd11ebc3eeb52b92a0c57a62ab204050c68731a384e64ac2e58579793f
report.log (examples)
1.25 KB
sha256:3ce896cc7784afbd8be57ebdb68e89f3c732b050c7af7d515f05a048d24b1903
report.log (jasmin-eclib)
503 Bytes
sha256:f898eed4c41960c4abaec3470ec6e8c7adae2350d7228c24034c72bc55366527
report.log (sha3)
671 Bytes
sha256:cb8305823c53619776fb0f446e41d6f9f9822171ed64ff5b42f61425c806fb8c
report.log (sphincsplus)
610 Bytes
sha256:33ce5e586c90b361af0eb6db70e1fb0c114a29020af19710cdd545fafc9a33db
report.log (stdlib)
2.62 KB
sha256:13d28e5137a4e9e14f1aa1a587afb02bdb44e9598a92cf25ff98b02ce7103a33
report.log (unit)
862 Bytes
sha256:df1cf1d261925d7136c68c9b1fe0f07dde299cbe76f22fcf46efa6287e11144a
report.log (xmss-acai)
621 Bytes
sha256:655e7536225eb5cd2266d8caf9d23a830b3c7972592f41be7c1d847f70374518
report.log (xmss-fsai)
598 Bytes
sha256:3c7ebe537cda22e09199c0f158a6023ed1a5bb2645277253d600696ffb3dad43
report.log (xsalsa20)
339 Bytes
sha256:ab7b91f540b999710c133db2c99bcd75949867dac4e7d88fcad3c12511b45a9b