Improve transitivity* and replace* #3628
ci.yml
on: pull_request
EasyCrypt compilation (opam)
1m 17s
Fetch EasyCrypt External Projects Matrix
7s
EasyCrypt compilation (nix)
1m 28s
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
0s
Annotations
2 errors
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...
Process completed with exit code 2.
|
Check EasyCrypt External Projects (set-status)
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
report.log (xsalsa20)
|
385 Bytes |
|