Emit type check error when argument to sided rnd is present but unused
#4066
oskgoci.yml
on: pull_request
EasyCrypt compilation (opam)
2m 48s
Fetch EasyCrypt External Projects Matrix
4s
EasyCrypt compilation (nix)
1m 32s
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
0s
Annotations
1 error
|
Check EasyCrypt Libraries (examples)
Process completed with exit code 2.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
report.log (cryptobox)
Expired
|
415 Bytes |
sha256:fcf8dbb3e4fab3f0b76710291e438a831f8772ae3b7c94a88dcfad3e8724bea3
|
|
|
report.log (examples)
Expired
|
1.23 KB |
sha256:94750bd25f31abed17ae7b6a3102bc446ceb71efd7331618302b4e5ebb9a7c6d
|
|
|
report.log (jasmin-eclib)
Expired
|
509 Bytes |
sha256:728b361a867082404139a3810a23a9a3da4017796b1e15f3f3b7ed3dd366e995
|
|
|
report.log (sha3)
Expired
|
669 Bytes |
sha256:448309d2b484082555382e7f8dcc927e3342b09bb4f5a130380c49d0a1e745f5
|
|
|
report.log (sphincsplus)
Expired
|
615 Bytes |
sha256:06ebb451c1b4d6bcb374b90d1eb7803c5bd8eb735de7d875db4769baf739a1db
|
|
|
report.log (stdlib)
Expired
|
2.58 KB |
sha256:21dd0d9e9b50da3747a910da6b576157821f979151ab474f4ed029c07c5c79fa
|
|
|
report.log (unit)
Expired
|
861 Bytes |
sha256:56766362d398eaf570c16c95a10abde152b5ff99f402b1361d090dfb0605ca18
|
|
|
report.log (xmss-acai)
Expired
|
623 Bytes |
sha256:70887286b54197e0d1ea62bda2e6f1f6497b14ac1535030b84ca11177f89cf2f
|
|
|
report.log (xmss-fsai)
Expired
|
542 Bytes |
sha256:460de8c3005c3a126dfa0d8193bdeb8afe90b226f8c8664f948c2639f8753a24
|
|
|
report.log (xsalsa20)
Expired
|
339 Bytes |
sha256:254e737aae90b77f1c90eda049c5e2a415af7dee0d6f37795e5bc7757c1e8b81
|
|