add jasmin installation to external CI jobs #3877
ci.yml
on: pull_request
EasyCrypt compilation (opam)
2m 56s
Fetch EasyCrypt External Projects Matrix
5s
EasyCrypt compilation (nix)
1m 21s
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
5s
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
|
|