issues
search
EasyCrypt
/
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
306
stars
46
forks
source link
runtest: display number of parallel jobs
#589
Closed
strub
closed
1 month ago
strub
commented
1 month ago
Helpful information in the CI
strub
commented
1 month ago
Minor PR: force push.
Helpful information in the CI