Hadrien Croubois 00cbf5a236 Update pragma to 0.8.20 (#4489) há 2 anos atrás
..
actionlint.yml d89e51ac42 Use actionlint on GitHub Actions workflows (#3953) há 2 anos atrás
changeset.yml dc1ffa79e7 Fix changeset action access to ref branch (#3978) há 2 anos atrás
checks.yml 996168f1f1 Remove slither hardcoded version (#4431) há 2 anos atrás
docs.yml ac30219a6a Add explicit permissions to docs workflow há 2 anos atrás
formal-verification.yml 00cbf5a236 Update pragma to 0.8.20 (#4489) há 2 anos atrás
release-cycle.yml 002a7c8812 Remove automatic conflict resolution for merge from release branch (#4362) há 2 anos atrás
upgradeable.yml 51294b7480 Make transpilation setup local to this repo (#4041) há 2 anos atrás