Skip to content

remove alt-ergo from EasyCrypt TCB #3917

remove alt-ergo from EasyCrypt TCB

remove alt-ergo from EasyCrypt TCB #3917

Triggered via pull request August 27, 2025 10:35
Status Success
Total duration 23m 17s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 44s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
7s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 21s
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
4s
Notification
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
415 Bytes
sha256:40997d75e4fd21fe65b4b557d53ab383819013c7742b15883b2abbce4f92bc8d
report.log (examples)
1.18 KB
sha256:0574771cc712622c5502006bfecc2fc26cecff47077f6b0ab8b5b33e7679ebe0
report.log (jasmin-eclib)
505 Bytes
sha256:d3052644703798f230bb0dba624c0686f9b4fd11c01a099ddec5919465a4d1f5
report.log (sha3)
665 Bytes
sha256:612b1dcc181a1f5bf0860994524cfc54dc44ee6b38827f7620715a9131d8ff6e
report.log (sphincsplus)
548 Bytes
sha256:a8416481be504d07d953849765534fa2ad3da3112084548da02bf1ca5416a658
report.log (stdlib)
2.61 KB
sha256:ee8899638c04cf55484d7f0fc859b368a1f8fd597100c6edfcbdf66b5719cef3
report.log (unit)
846 Bytes
sha256:74755f5b217894c573eda3b8dde2a8878eb268e65d5ae1de58b7154bdf7cdd8d
report.log (xmss-acai)
620 Bytes
sha256:708224acc9a578a1b0493bf035f08f800cf10759b8d2c6d8889ca2268e40a216
report.log (xmss-fsai)
603 Bytes
sha256:d63731d44feb107159f4537cf6954aa7b154307e987bf30c625e31c36271fda5
report.log (xsalsa20)
340 Bytes
sha256:599e61d4459334e00b065494525a9b9a4a7aad1a866285dcdd3f15f79d3a8717