Added formosa-25519 curve25519 to external CI #3330
ci.yml
on: pull_request
EasyCrypt compilation (opam)
1m 13s
Fetch EasyCrypt External Projects Matrix
2s
EasyCrypt compilation (nix)
1m 10s
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
0s
Annotations
2 errors and 1 warning
Check EasyCrypt External Projects (curve25519, https://github.com/formosa-crypto/formosa-25519, m...
Process completed with exit code 2.
|
Check EasyCrypt External Projects (set-status)
Process completed with exit code 1.
|
EasyCrypt compilation (nix)
No push credentials found. Ignoring the 'useDaemon' option.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
report.log (curve25519)
|
571 Bytes |
|