Make casts from existing single sided formulas to two sided ones use a more robust pattern #4112
oskgoci.yml
on: pull_request
EasyCrypt compilation (opam)
2m 58s
Fetch EasyCrypt External Projects Matrix
4s
EasyCrypt compilation (nix)
2m 26s
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
0s
Annotations
9 errors
|
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...
Process completed with exit code 2.
|
|
Check EasyCrypt Libraries (unit)
Process completed with exit code 2.
|
|
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...
Process completed with exit code 2.
|
|
Check EasyCrypt Libraries (examples)
Process completed with exit code 2.
|
|
Check EasyCrypt Libraries (stdlib)
Process completed with exit code 2.
|
|
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...
Process completed with exit code 2.
|
|
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...
Process completed with exit code 2.
|
|
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...
Process completed with exit code 2.
|
|
Check EasyCrypt External Projects (set-status)
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
report.log (cryptobox)
|
508 Bytes |
sha256:4a12882c35427d9c7bb3836a9fe3f708735a9ba0658b11bf75d507c61b3c2c49
|
|
|
report.log (examples)
|
1.32 KB |
sha256:9951daad98056211dcd64f4bb006965a1ff901e80a0e3ccd43499903d40daebf
|
|
|
report.log (jasmin-eclib)
|
506 Bytes |
sha256:6927563c16a86ba79d86a83942eac016c41600d43c216f1814d789c8b91f490d
|
|
|
report.log (sha3)
|
666 Bytes |
sha256:b84825503170dba2981855681ed2c70f6c14b222745fcadfefff75627d2139b0
|
|
|
report.log (sphincsplus)
|
683 Bytes |
sha256:10a397f67401c49f41f2020ce7bf880e594c702dc65e39a39a25b3cbf85d7cf4
|
|
|
report.log (stdlib)
|
2.74 KB |
sha256:e584762ab6a1f0dee7de456671d648600b4cbebab9a88bd2614d4170c7d03ad1
|
|
|
report.log (unit)
|
960 Bytes |
sha256:77bc77e748757ad488ca0af27b3bb6d675a11b944d04684c5628a694c3368a31
|
|
|
report.log (xmss-acai)
|
701 Bytes |
sha256:34aa60ae8cac2a641ba154a5778015f94689900ef15f1a0f351765ac6c945bcc
|
|
|
report.log (xmss-fsai)
|
685 Bytes |
sha256:c83648b16b5bcc129fd9aadec58fde342308cb116da48bcfec388c43f19c8100
|
|
|
report.log (xsalsa20)
|
417 Bytes |
sha256:c7499c8c038d11e408afb7173a12d7eaad226e725ae7cfd3928dc5b96ab1c7ee
|
|