Skip to content

add jasmin installation to external CI jobs #3877

add jasmin installation to external CI jobs

add jasmin installation to external CI jobs #3877

Triggered via pull request August 6, 2025 16:06
@fdupressfdupress
synchronize #793
jasmin-in-ci
Status Success
Total duration 24m 29s
Artifacts 10

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
412 Bytes
sha256:f03fdd43be08c2c0f5ced63041f47a5cbd835a4c08412e6b1aab726ecbdc6bc7
report.log (examples) Expired
1.18 KB
sha256:a971fb9e6900ec77fc0b95bd12ff327f30e65a50fd987804d2a6c4759a041f33
report.log (jasmin-eclib) Expired
513 Bytes
sha256:c4105eda95865ef339c05fd37228c8c622df2551f3c7ab0adcaf489f409af477
report.log (sha3) Expired
672 Bytes
sha256:948975cc2a41e6d75dcae98aed75d644ca3c2dfd8fac92a752046959a0c54051
report.log (sphincsplus) Expired
614 Bytes
sha256:e9fb1f2d0fbe3f2a4ce011d1aee1eb67309f0190ece6d4018386ecf35151b757
report.log (stdlib) Expired
2.56 KB
sha256:b8b2e517675457e9321ec4bc46f636146437a022bfcf1c0b312b0072ec76c6d3
report.log (unit) Expired
824 Bytes
sha256:84df3334b1aa4a2dd930948b0b2d601314de00c70b4d1bbbd26a6e92ed90df3f
report.log (xmss-acai) Expired
553 Bytes
sha256:e66cca0341f43453bb3de105bc15fa416b255f6aaff5d7d0fd635e0b4030062e
report.log (xmss-fsai) Expired
604 Bytes
sha256:f83c62d261a897e623e3db7a8e23bfa915962c67a4bb794ff90422cf1806f116
report.log (xsalsa20) Expired
339 Bytes
sha256:40399073cc9e838862f4f23e0feb784536b655ba5ba888e5519c65d1a0d19d67