[docker] update dockerfiles, add formosa docker #4085
fdupressci.yml
on: pull_request
EasyCrypt compilation (opam)
2m 46s
Fetch EasyCrypt External Projects Matrix
5s
EasyCrypt compilation (nix)
2m 29s
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
5s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
report.log (cryptobox)
|
414 Bytes |
sha256:59d263a3774bbd0d2438c4e2eef4d156c821c10f6784a84c93d235d7b5e26597
|
|
|
report.log (examples)
|
1.22 KB |
sha256:3ed2a970e551eef68a0c8086d818648f95ca97e7c5ba26d6f294af2f04a5fe3c
|
|
|
report.log (jasmin-eclib)
|
508 Bytes |
sha256:0fccdc81b9015cf2df066f2735b71e23bc6eb6e4687f56c06cfdd8046f840090
|
|
|
report.log (sha3)
|
665 Bytes |
sha256:94007543f2849c81908869ea84ce0ca922fc376c02f0fb6a91665394a52dab5b
|
|
|
report.log (sphincsplus)
|
615 Bytes |
sha256:dad1d1c3ef93c303a83bd521d1213a2179fbdd8d9ea7ecf46fbc0ad6ec96ce63
|
|
|
report.log (stdlib)
|
2.65 KB |
sha256:d1de90302b461001772ffc003d84933df1d7678646e4f7a5a3f753979e42cd62
|
|
|
report.log (unit)
|
863 Bytes |
sha256:3a2b0d941456269c948f36d6f9f9794d28bb771ce626ef0ef3125642891cf55b
|
|
|
report.log (xmss-acai)
|
627 Bytes |
sha256:0320adaec7e7e773c436a9652c52ba816f9db3d28306b4ce1b6f59e0cace6564
|
|
|
report.log (xmss-fsai)
|
606 Bytes |
sha256:baa04362a905f3af79ae412f924feede41b1fe9a7ab6306d5a3af7fc3190ae9b
|
|
|
report.log (xsalsa20)
|
338 Bytes |
sha256:a7acb080576f4d4dd511b08f9b31bb23ed5a3558b2ceba132b6ed550caf8bc42
|
|