reduce when needed in proc and call rules #4110
bgregoirci.yml
on: pull_request
EasyCrypt compilation (opam)
2m 54s
Fetch EasyCrypt External Projects Matrix
3s
EasyCrypt compilation (nix)
13m 34s
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
6s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
report.log (cryptobox)
|
415 Bytes |
sha256:ae0c0251013c1d28b3bcb0e285dffebd7a788aa2cc7b0912fac06cff41d10c50
|
|
|
report.log (examples)
|
1.25 KB |
sha256:cb403f7555dde7151e23e72ae54a2cd7a8f71c78a20cb60ca92b5ae233bf872a
|
|
|
report.log (jasmin-eclib)
|
510 Bytes |
sha256:4fa40705beeea05bc74047a82af1313e11f1bbd514b7ae7ea292a4522c84ca17
|
|
|
report.log (sha3)
|
665 Bytes |
sha256:78d53703bd3ce42d716506cb73ba54b349780687083308b4df7efe920351eb93
|
|
|
report.log (sphincsplus)
|
547 Bytes |
sha256:a91b8bee6f275fa7e646ab397c2c575d6b5544bbe78b1ad8c330e4233d23aea7
|
|
|
report.log (stdlib)
|
2.58 KB |
sha256:33d446d2520cff748190543243d19e45c5be6391fbdfcce02c8aac94514ef646
|
|
|
report.log (unit)
|
885 Bytes |
sha256:24daa9b305532c1b9286ee761a63170187f218c0b4bf0cd249223fc55eb84255
|
|
|
report.log (xmss-acai)
|
626 Bytes |
sha256:b3f54ce4b68aac7c067003e66c0d6af10fb41117aca6ac7658e3c376c62ab81b
|
|
|
report.log (xmss-fsai)
|
602 Bytes |
sha256:0b96199823f04957f4f08e66997f9cef942e880a45a688b73ee138acb3254958
|
|
|
report.log (xsalsa20)
|
339 Bytes |
sha256:bc82cc7b0e190404b6e1e25081e6ccddfe2e2a2a290fc2ffc5b77d6f82ff2688
|
|