Skip to content
EasyCrypt compilation & check

Exit --help with non-error status #3990

Sign in to view logs

Exit --help with non-error status

Exit --help with non-error status #3990

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Fetch EasyCrypt External Projects Matrix
3s
EasyCrypt compilation (nix)
1m 59s
EasyCrypt compilation (opam)
2m 48s
Check EasyCrypt Libraries (stdlib)
6m 15s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...
7m 41s
Check EasyCrypt Libraries (examples)
4m 57s
Check EasyCrypt Libraries (unit)
2m 54s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...
3m 51s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...
8m 18s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...
3m 14s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...
3m 30s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...
20m 19s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...
14m 9s
Check EasyCrypt External Projects (set-status)
4s
Notification
4s
1h 20m 6s