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