Hadrien Croubois 3075181276 use bash 3 years ago
..
changelog.yml 75ce9ef8e9 name 3 years ago
checks.yml 75ce9ef8e9 name 3 years ago
docs.yml 04204b8fb9 Improve GitHub Actions (#3451) 3 years ago
formal-verifiation.yml 3075181276 use bash 3 years ago
upgradeable.yml 049ff9a3c7 add workflow to trigger transpilation to upgradeable contracts 4 years ago