issues
search
EasyCrypt
/
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
306
stars
46
forks
source link
[runtest] fix TTY detection
#547
Closed
fdupress
closed
3 months ago
fdupress
commented
3 months ago
This is so we might get useful CI logs.
This is so we might get useful CI logs.