Skip to content

Remove prototype type-classes implementation. #4272

Remove prototype type-classes implementation.

Remove prototype type-classes implementation. #4272

Triggered via push January 30, 2026 14:43
Status Success
Total duration 24m 26s
Artifacts 10

ci.yml

on: push
EasyCrypt compilation (opam)
2m 52s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
3s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 46s
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
7s
Notification
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
415 Bytes
sha256:2e0c881abd16b431855b9921e00a0bb88701cc2db6f924dff37ebee35fba00ff
report.log (examples) Expired
1.17 KB
sha256:b3cd5037600660060d4b7f3932e98c7afa0e3cc74ab3b97aa7e9b3494cc84485
report.log (jasmin-eclib) Expired
513 Bytes
sha256:7ed0f759aa565cac9e04ac7c4392ee116d4f2bfb9a709314b3d463122fb7a12c
report.log (sha3) Expired
669 Bytes
sha256:8a8e149992b996f73747acd73a1b7f906c6923341f9de86ae388d957e1d28321
report.log (sphincsplus) Expired
609 Bytes
sha256:06bb2875209d7d7ecb1986a22aed2993c6b610a86857430bad25cdea378eee2e
report.log (stdlib) Expired
2.6 KB
sha256:760b7a1d41eb67105f52826f4f6bcb4eb1626d268607890edd6f1f577ebdc625
report.log (unit) Expired
1.03 KB
sha256:6476a8169f0b3bae2ba93685a66084bad487a36996f2d59e3d1eabad3991c93c
report.log (xmss-acai) Expired
620 Bytes
sha256:ff5c04e7a2a3262d6eb7601a1354f3baeaaa813d68c5cb783640f332ee88822c
report.log (xmss-fsai) Expired
605 Bytes
sha256:e6fa32cc206d0d2597428e3fbe050ae3cce26dd8a6de2af0a7f1242a6b904bce
report.log (xsalsa20) Expired
340 Bytes
sha256:ce9fbb40074aa7bd09de8351ba3ff52e1ebf976eec97fd823e7a28719d7f70a0