Hadrien Croubois e891ec587d Merge branch 'master' into feat/access-manager vor 2 Jahren
..
actionlint.yml d89e51ac42 Use actionlint on GitHub Actions workflows (#3953) vor 2 Jahren
changeset.yml dc1ffa79e7 Fix changeset action access to ref branch (#3978) vor 2 Jahren
checks.yml e891ec587d Merge branch 'master' into feat/access-manager vor 2 Jahren
docs.yml ac30219a6a Add explicit permissions to docs workflow vor 2 Jahren
formal-verification.yml 00cbf5a236 Update pragma to 0.8.20 (#4489) vor 2 Jahren
release-cycle.yml 002a7c8812 Remove automatic conflict resolution for merge from release branch (#4362) vor 2 Jahren
upgradeable.yml 51294b7480 Make transpilation setup local to this repo (#4041) vor 2 Jahren