EasyCrypt / easycrypt

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

CI: only for PR & main #628

Closed strub closed 1 month ago

strub commented 1 month ago

This allows to remove the job duplicates detection script that has its own odities and was badly working with automatic merges.

If ones want to have the CI running on its develoment branch, that person should create a draft PR.