search

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
321 stars 49 forks source link

CI: do not skip successful duplicates #496

Closed strub closed 11 months ago

strub commented 11 months ago

If so, we can end with PR to protected branches that are blocked.