issues
search
EasyCrypt
/
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
306
stars
46
forks
source link
[ci]: do not update opam
#562
Closed
strub
closed
2 months ago
strub
commented
2 months ago
This slows down the CI and brings little benefits.
This slows down the CI and brings little benefits.